Formal Verification of Compiler Transformations for Speculative Real-Time Execution.
Mohamed F. YounisGrace TsaiThomas J. MarloweAlexander D. StoyenPublished in: Autom. (1998)
Keyphrases
- formal verification
- real time
- model checking
- bounded model checking
- model checker
- symbolic model checking
- automated verification
- general purpose
- code generation
- control system
- low cost
- programming language
- program slicing
- parallel execution
- functional verification
- timing constraints
- real time systems
- belief state
- vision system
- reinforcement learning