Login / Signup
Refinement checking on parametric modal transition systems.
Nikola Benes
Jan Kretínský
Kim G. Larsen
Mikael H. Møller
Salomon Sickert
Jirí Srba
Published in:
Acta Informatica (2015)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
fully observable
modal logic
model checker
case study