Projecting transition systems: Overcoming state explosion in concurrent system verification.

Alexander S. Kamkin

Published in: Program. Comput. Softw. (2015)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
model checker
distributed systems
finite state
control flow
artificial intelligence
state space
software systems
formal specification
formal methods
initial state
fully observable