Induction-Based Formal Verification of SystemC TLM Designs.
Daniel GroßeHoang Minh LeRolf DrechslerPublished in: MTV (2009)
Keyphrases
- formal verification
- model checking
- bounded model checking
- model checker
- automated verification
- inductive learning
- symbolic model checking
- temporal logic
- program slicing
- machine learning
- design space
- inductive inference
- orders of magnitude
- rule induction
- program synthesis
- functional verification
- formal methods
- artificial intelligence