Adaptable Transition Systems.

Roberto Bruni Andrea Corradini Fabio Gadducci Alberto Lluch-Lafuente Andrea Vandin

Published in: WADT (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
data flow
model checker
search space
formal specification
artificial intelligence
markov chain
petri net