Coverage Metrics for Formal Verification.

Hana Chockler Orna Kupferman Moshe Y. Vardi

Published in: CHARME (2003)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
automated verification
bounded model checking
evaluation metrics
neural network
artificial intelligence
temporal logic
formal specification
similarity metrics
program slicing
orders of magnitude