Formal verification of real-time systems with preemptive scheduling.
Didier LimeOlivier H. RouxPublished in: Real Time Syst. (2009)
Keyphrases
- real time systems
- formal verification
- preemptive scheduling
- model checking
- real time
- bounded model checking
- model checker
- distributed systems
- automated verification
- real time database systems
- symbolic model checking
- timing constraints
- mission critical
- embedded systems
- architectural model
- real time embedded
- object oriented programming language
- web services
- artificial intelligence
- anytime algorithms
- temporal logic
- computational intelligence
- database systems