Mechanical verification of timed automata: a case study.
Myla ArcherConstance L. HeitmeyerPublished in: IEEE Real Time Technology and Applications Symposium (1996)
Keyphrases
- timed automata
- model checking
- temporal logic
- reachability analysis
- formal verification
- verification method
- test bed
- concurrent systems
- case study
- theorem prover
- real time systems
- formal methods
- theorem proving
- mechanical design
- first order logic
- website
- face verification
- databases
- person identification
- computer vision
- machine learning
- real world