Keyphrases
- model checking
- cellular automata
- temporal logic
- firing squad synchronization
- temporal properties
- formal verification
- cellular automaton
- cellular automata model
- finite state machines
- formal specification
- finite state
- model checker
- reachability analysis
- symbolic model checking
- timed automata
- automated verification
- chaotic dynamics
- computation tree logic
- verification method
- linear temporal logic
- pspace complete
- concurrent systems
- process algebra
- lattice gas
- phase transition
- markov decision processes
- bounded model checking
- pattern formation
- traffic flow