Parametric and Quantitative Extensions of Modal Transition Systems.

Uli Fahrenberg Kim Guldstrand Larsen Axel Legay Louis-Marie Traonouez

Published in: FPS@ETAPS (2014)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
model checker
reactive systems
modal logic
markov chain
sufficient conditions