Well-Abstracted Transition Systems.

Alain Finkel S. Purushothaman Iyer Grégoire Sutre

Published in: CONCUR (2000)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
reactive systems
markov chain
model checker
multi agent
petri net
formal specification