Reasoning and inference rules in basic linear temporal logic BLTL
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Reasoning with past to prove PKCS#11 keys secure
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
Scientific Theories of Computational Systems in Model Checking
Minds and Machines
Best Unifiers in Transitive Modal Logics
Studia Logica
Time dimension in the dolphin nick knowledge base using transparent intensional logic
TSD'11 Proceedings of the 14th international conference on Text, speech and dialogue
The recognition and interpretation of motion in language
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
On the automated analysis of safety in usage control: a new decidability result
NSS'12 Proceedings of the 6th international conference on Network and System Security
Abstraction and Idealization in the Formal Verification of Software Systems
Minds and Machines
| Hi-index | 0.00 |
Temporal logic has developed over the last30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.