Extended temporal logic revisited (original) (raw)
Related papers
Deterministic Temporal Logics and Interval Constraints
Electronic Proceedings in Theoretical Computer Science, 2017
Alternating automata: Unifying truth and validity checking for temporal logics
1997
Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems, 1989
Timed Context-Free Temporal Logics
Electronic Proceedings in Theoretical Computer Science, 2018
SALT—Structured Assertion Language for Temporal Logic
Lecture Notes in Computer Science, 2006
Temporal Logics with Language Parameters
Lecture Notes in Computer Science, 2021
Abstract satisfiability of linear temporal logic
2001
Timed Temporal Logics for Abstracting Transient States
Proceedings of the 4th International Conference on Automated Technology For Verification and Analysis, 2006
Techniques for Temporal Logic Model Checking
Refinement Techniques in Software Engineering, 2006
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability
2012 19th International Symposium on Temporal Representation and Reasoning, 2012
An automata-theoretic approach to linear temporal logic
Logics for concurrency, 1996
Simple on-the-fly automatic verification of linear temporal logic
… Testing and Verification, 1995
17 Automata-theoretic techniques for temporal reasoning
Handbook of Modal Logic, 2007
Final report:‘Analysis and Mechanisation of Decidable First-Order Temporal Logics’
Towards an automata-theoretic counterpart of combined temporal logics
2001
Abstract model checking and refinement of temporal logic in αSPIN
… of Concurrency to …, 2003
On the Verification of Temporal Properties
Protocol Specification, Testing and Verification, Xiii: Proceedings of the IFIP TC6/WG6. 1. Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liége, Belgium, 25-28 May, 1993, 1993
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming, 2004
On-the-fly automata construction for dynamic linear time temporal logic
Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004., 2004
Temporal Logics, Automata, and Classical Theories for Defining Real-Time Languages
1999
The Influence of Temporal Logic on Finite Automata
Al-Rafidain Engineering Journal (AREJ)
Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper)
Direct Model Checking of Temporal Properties
Ramesh Bharadwaj, Jeffery Zucker
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
Sela Mador-Haim, Andreas Tiemeyer, Avner Landver, Eli Singerman
Lecture Notes in Computer Science, 2002
A Partial Approach to Model Checking
Information and Computation, 1994
Model checking with multi-valued temporal logics
2001
Branching-Time Temporal Logics with Minimal Model Quantifiers
Lecture Notes in Computer Science, 2009
Constructing Automata from Temporal Logic Formulas: A Tutorial⋆
2001
Implementing Temporal Logics: Tools for Execution and Proof
2006
First-Order Temporal Verification in Practice
Journal of Automated Reasoning, 2005
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
Rewriting Techniques and …, 2002