Search
Now showing items 1-5 of 5
Towards Certified Model Checking for PLTL Using One-Pass Tableaux
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019-10-19)
The standard model checking setup analyses whether the given system specification satisfies a dedicated temporal property of the system, providing a positive answer here or a counter-example. At the same time, it is often ...
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
(Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018-10-08)
Temporal logic has become essential for various areas in computer science, most notably for the specification and verification of hardware and software systems. For specification purposes rich temporal languages are required ...
@Erizainbot, a mobile chatbot for facilitating learning and collaboration outside the classroom in Health Sciences Education
(Educación Editora, 2019)
This randomized controlled study assessed the impact and utility of a chatbot through Telegram for teaching complex theoretical aspects of a science subject of the degree in Nursing, while practicing oral communication. ...
Exact Learning of Multivalued Dependencies
(Springer, 2015-10-31)
The transformation of a relational database schema into the fourth normal form, which minimizes data redundancy, relies on the correct identification of multivalued dependencies. In this work, we study
the learnability ...
Tableaux for Realizability of Safety Specifications
(Springer, 2023-03-03)
We introduce a tableau decision method for deciding realizability of specifications expressed in a safety fragment of LTL that includes bounded future temporal operators. Tableau decision procedures for temporal and modal ...