Reduced Labelled Transition Systems Save Verification Effort.

Antti Valmari Matthew Clegg

Published in: CONCUR (1991)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
model checker
formal specification
distributed systems
formal verification
finite state
petri net
reactive systems
practical reasoning
artificial intelligence
control flow
multi agent systems
formal methods