Rapid, Formal Verification with Automated and Executable, Cycle-accurate simulators, and Generated Testbenches.
Michael DossisPublished in: PCI (2020)
Keyphrases
- formal verification
- model checking
- formal specification
- automated verification
- semi automated
- symbolic model checking
- high quality
- computationally efficient
- automatically generated
- model checker
- bounded model checking
- highly accurate
- functional verification
- program slicing
- completely automated
- temporal logic
- high accuracy
- object oriented