Login / Signup
Factorisation of transition systems.
Raymond R. Devillers
Published in:
Acta Informatica (2018)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
distributed systems
model checker
search space
markov decision processes
formal verification