Login / Signup
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.
Alastair F. Donaldson
Alice Miller
Published in:
AMAST (2006)
Keyphrases
</>
model checker
model checking
formal methods
formal verification
temporal logic
formal specification
description language
symbolic model checking
test suite
artificial intelligence
knowledge base
image analysis
software engineering
set theory