Login / Signup
Opacity Generalised to Transition Systems.
Jeremy W. Bryans
Maciej Koutny
Laurent Mazaré
Peter Y. A. Ryan
Published in:
Formal Aspects in Security and Trust (2005)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
model checker
fully observable
reactive systems
markov chain
data flow
distributed systems
partial observability
formal methods
markov decision processes
petri net