Zone-based verification of timed automata: extrapolations, simulations and what next?
Patricia BouyerPaul GastinFrédéric HerbreteauOcan SankurB. SrivathsanPublished in: CoRR (2022)
Keyphrases
- timed automata
- model checking
- reachability analysis
- temporal logic
- formal verification
- verification method
- mathematical analysis
- neural network
- simulation models
- simulation environment
- concurrent systems
- formal methods
- real time
- theorem prover
- numerical simulations
- real time systems
- theorem proving
- first order logic
- case study
- data sets