Some Strategies for Proving Theorems with a Model Checker.

Kenneth L. McMillan

Published in: LICS (2000)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
symbolic model checking
test suite
set theory
high level
search space
specification language