Automatic Symmetry Detection for Model Checking Using Computational Group Theory.

Alastair F. Donaldson Alice Miller

Published in: FM (2005)

Keyphrases

model checking
symmetry detection
temporal logic
formal methods
formal specification
formal verification
finite state
ctl model update

symbolic model checking
model checker
temporal properties
process algebra
finite state machines
asynchronous circuits
automated verification

partial order reduction
abstract interpretation
epistemic logic
verification method
bounded model checking
reachability analysis
pspace complete

computation tree logic
concurrent systems
timed automata
transition systems
search algorithm
rotational symmetry
planning domains