Proving properties of real-time systems through logical specifications and Petri net models (original) (raw)
Related papers
Timed Temporal Logics for Abstracting Transient States
Proceedings of the 4th International Conference on Automated Technology For Verification and Analysis, 2006
Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems, 1989
A Temporal Logic over Partial Orders for Analysis of Real-Time Properties of Distributed Programs
TENCON '91. Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Temporal Logics, Automata, and Classical Theories for Defining Real-Time Languages
1999
17 Automata-theoretic techniques for temporal reasoning
Handbook of Modal Logic, 2007
Timed Context-Free Temporal Logics
Electronic Proceedings in Theoretical Computer Science, 2018
Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata
Lecture Notes in Computer Science, 2004
The Influence of Temporal Logic on Finite Automata
Al-Rafidain Engineering Journal (AREJ)
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Lecture Notes in Computer Science
Extended temporal logic revisited
2001
Effective temporal logics of programs
Time and Logic, 2019
Verification of Temporal Properties of Concurrent Systems
DAIMI Report Series, 1993
Verification of temporal properties in concurrent systems
2003
From Linear Temporal Logic Properties to Rewrite Propositions
Lecture Notes in Computer Science, 2012
On the strength of temporal proofs
Theoretical Computer Science, 1991
Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper)
On using temporal logic for refinement and compositional verification of concurrent systems
Theoretical Computer Science, 1995
Final report:‘Analysis and Mechanisation of Decidable First-Order Temporal Logics’
A Temporal Logic for Proving Properties of Topologically General Executions
Information and Computation, 1996
Deterministic Temporal Logics and Interval Constraints
Electronic Proceedings in Theoretical Computer Science, 2017
Comments on temporal logics for real-time system specification
ACM Computing Surveys, 2009
Implementing Temporal Logics: Tools for Execution and Proof
2006
Towards a Temporal Logic τLTL for the Verification of Rewriting Theories denoting ECATNets
First-Order Temporal Verification in Practice
Journal of Automated Reasoning, 2005
Temporal Logics over Transitive States
Lecture Notes in Computer Science, 2005
Real Time Temporal Logic: Past, Present, Future
Lecture Notes in Computer Science, 2005
Temporal logics for real-time system specification
ACM Computing Surveys, 2000
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
Abstract satisfiability of linear temporal logic
2001
TILCO-X, an extension of TILCO temporal logic
2001
An automata-theoretic approach to linear temporal logic
Logics for concurrency, 1996
2002
A Decidable Temporal Logic of Repeating Values
Lecture Notes in Computer Science, 2007
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
Lecture Notes in Computer Science, 2005
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming, 2004