Login / Signup
SMC: a symmetry-based model checker for verification of safety and liveness properties.
A. Prasad Sistla
Viktor Gyuris
E. Allen Emerson
Published in:
ACM Trans. Softw. Eng. Methodol. (2000)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
test suite
set theory
epistemic logic
symbolic model checking
concurrent systems
general purpose
planning domains
ai planning