The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems.
Martin OuimetKristina LundqvistPublished in: CAV (2007)
Keyphrases
- formal verification
- real time systems
- model checking
- automated verification
- real time
- model checker
- distributed systems
- embedded systems
- bounded model checking
- mission critical
- symbolic model checking
- reactive systems
- temporal logic
- formal specification
- real time embedded
- timing constraints
- real time database systems
- dynamic programming