Model checking via reachability testing for timed automata (original) (raw)
Related papers
The Power of Reachability Testing for Timed Automata
Lecture Notes in Computer Science, 1998
VerICS: a tool for verifying timed automata and estelle specifications
Tools and Algorithms for the Construction and Analysis of Systems, 2003
TAME: A Specialized Specification and Verification System for Timed Automata
1996
√erics: A Tool for Verifying Timed Automata and Estelle Specifications
Lecture Notes in Computer Science, 2003
From Timed Automata to Logic - and Back
BRICS Report Series, 1995
Checking reachability properties for Timed Automata via SAT
Fundamenta Informaticae, 2002
Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking
2003
Configurable verification of timed automata with discrete variables
Acta Informatica, 2020
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking
Timed model checking with abstractions
Proceedings of the tenth ACM international conference on Embedded software, 2012
LTL Model Checking of Parametric Timed Automata
Model-checking for real-time systems
Logic in Computer Science, …, 1990
Lazy Reachability Checking for Timed Automata with Discrete Variables
2018
Mechanical verification of timed automata: a case study
1996
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Logical Methods in Computer Science, 2011
Quantitative model checking of continuous-time Markov chains against timed automata specifications
2009
On model checking for real-time properties with durations
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993
Symbolic model checking of real-time systems
Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001, 2000
Bounded Model Checking for Timed Systems
2002
Decomposing Verification of Timed I/O Automata
Lecture Notes in Computer Science, 2004
Conformance Tests for Real-Time Systems with Timed Automata Specifications
Formal Aspects of Computing, 2000
Model Checking Parameterized Timed Systems
2005
Using model-checking for timed automata to parameterize logic control programs
Computers & Chemical Engineering, 1998
Symbolic Model Checking for Probabilistic Timed Automata
2004
Verification of Durational Action Timed Automata using UPPAAL
International Journal of Computer Applications, 2012
Verification of Reactive Systems Using Temporal Logic with Clocks
Theoretical Computer Science, 1999
On-the-fly symbolic model checking for real-time systems
2002
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption
Lecture Notes in Computer Science, 2017
Timed Temporal Logics for Abstracting Transient States
Proceedings of the 4th International Conference on Automated Technology For Verification and Analysis, 2006
Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata
Lecture Notes in Computer Science, 2004
Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems
10th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2012, (London, UK, September 18-22, 2012). LNCS 7595, pp. 59-74, Springer-Verlag., 2012
Lower and upper bounds in zone-based abstractions of timed automata
International Journal on Software Tools for Technology Transfer, 2006
A Guided Method for Testing Timed Input Output Automata
Lecture Notes in Computer Science, 2003
Verification of continuous dynamical systems by timed automata
Formal Methods in System Design, 2011