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