Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems).
Jürgen RufThomas KropfPublished in: Informationstechnik Tech. Inform. (2001)
Keyphrases
- real time systems
- formal verification
- model checking
- real time
- distributed systems
- model checker
- automated verification
- bounded model checking
- embedded systems
- timing constraints
- symbolic model checking
- object oriented programming language
- architectural model
- real time database systems
- mission critical
- program slicing
- real time embedded
- anytime algorithms
- case study