Refinement for Transition Systems with Responses

Marco Carbone Thomas T. Hildebrandt Gian Perrone Andrzej Wasowski

Published in: FIT (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
artificial intelligence
case study
state space
distributed systems
markov chain
formal specification
fully observable