A guiding coverage metric for formal verification.

Finn Haedicke Daniel Große Rolf Drechsler

Published in: DATE (2012)

Keyphrases

formal verification
model checking
model checker
automated verification
symbolic model checking
bounded model checking
information redundancy
program slicing
metric space
distance measure
metric learning
orders of magnitude
distance function
temporal logic
similarity metric
functional verification