Simulation and formal verification of real time systems: A case study.
Eurico SeabraJosé MachadoJaime Ferreira da SilvaFilomena O. SoaresCelina P. LeãoPublished in: ICINCO-SPSMC (2007)
Keyphrases
- real time systems
- formal verification
- model checking
- real time
- distributed systems
- embedded systems
- automated verification
- real time database systems
- symbolic model checking
- bounded model checking
- program slicing
- real time embedded
- object oriented programming language
- reinforcement learning
- timing constraints
- mission critical
- architectural model
- anytime algorithms
- low cost
- case study