Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving.
Christian JacobiPublished in: CAV (2002)
Keyphrases
- model checking
- formal verification
- theorem proving
- timed automata
- automated verification
- model checker
- temporal logic
- bounded model checking
- symbolic model checking
- automated reasoning
- temporal properties
- computation tree logic
- finite state machines
- epistemic logic
- transition systems
- formal methods
- formal specification
- decision procedures
- verification method
- programming language
- inference rules
- first order logic