Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants.
Roope KaivolaPublished in: CAV (2005)
Keyphrases
- formal verification
- model checking
- model checker
- symbolic model checking
- temporal logic
- program slicing
- automated verification
- bounded model checking
- mathematical model
- inductive learning
- software components
- machine learning
- simulation model
- knowledge representation
- symbolic representation
- simulation environment
- inductive logic programming
- building blocks
- software development
- open source