On Refinements of Boolean and Parametric Modal Transition Systems.

Jan Kretínský Salomon Sickert

Published in: ICTAC (2013)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
boolean functions
model checker
reactive systems
modal logic
markov chain
formal specification
search algorithm