The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems.
Constance L. HeitmeyerNancy A. LynchPublished in: RTSS (1994)
Keyphrases
- real time systems
- formal verification
- model checking
- bounded model checking
- real time
- distributed systems
- model checker
- program slicing
- automated verification
- embedded systems
- timing constraints
- case study
- symbolic model checking
- mission critical
- real time database systems
- real time embedded
- architectural model
- object oriented programming language
- anytime algorithms
- temporal logic
- low cost
- database systems