The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems.
Sérgio Vale Aguiar CamposEdmund M. ClarkeMarius MineaPublished in: CAV (1997)
Keyphrases
- real time systems
- formal verification
- object oriented programming language
- model checking
- real time
- distributed systems
- architectural model
- mission critical
- embedded systems
- automated verification
- timing constraints
- symbolic model checking
- bounded model checking
- model checker
- real time database systems
- real time embedded
- case study