Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?
Patricia BouyerPaul GastinFrédéric HerbreteauOcan SankurB. SrivathsanPublished in: FORMATS (2022)
Keyphrases
- timed automata
- model checking
- reachability analysis
- temporal logic
- formal verification
- verification method
- theorem prover
- database
- formal methods
- concurrent systems
- petri net
- first order logic
- simulation model
- theorem proving
- molecular dynamics
- functional verification
- asynchronous circuits
- search algorithm
- databases
- data sets