A guiding heuristic for the semi-formal verification of high-level designs.
Alair Dias JuniorDiógenes Cecilio da Silva JúniorPublished in: LATW (2012)
Keyphrases
- formal verification
- high level
- model checking
- low level
- model checker
- automated verification
- symbolic model checking
- bounded model checking
- program slicing
- simulated annealing
- programming language
- heuristic methods
- functional verification
- heuristic function
- constraint satisfaction
- tabu search
- optimal solution
- semantic information
- orders of magnitude
- higher level
- search algorithm