SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.

A. Prasad Sistla L. Miliades Viktor Gyuris

Published in: CAV (1997)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
test suite
symbolic model checking
ai planning
set theory
high level
knowledge based systems
specification language
epistemic logic
search algorithm