Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification.
Víctor A. BrabermanMiguel FelderPublished in: ESEC / SIGSOFT FSE (1999)
Keyphrases
- formal verification
- real time
- model checking
- automated verification
- bounded model checking
- model checker
- real time database systems
- symbolic model checking
- functional verification
- theoretical framework
- round robin
- program slicing
- temporal logic
- scheduling algorithm
- timing constraints
- formal methods
- vision system
- scheduling problem
- semi automatic
- low cost
- control system
- resource allocation
- artificial intelligence