Login / Signup
On Refinements of Boolean and Parametric Modal Transition Systems
Jan Kretínský
Salomon Sickert
Published in:
CoRR (2013)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
boolean functions
distributed systems
modal logic
model checker
formal specification
belief revision
formal verification