Verified Certification of Reachability Checking for Timed Automata.
Simon WimmerJoshua von MutiusPublished in: TACAS (1) (2020)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- verification method
- third party
- state space
- first order logic
- real time systems
- temporal logic
- theorem proving
- exam preparation
- data sets
- data structure
- transitive closure
- consistency checking
- database design
- knowledge representation
- information systems