Login / Signup
Opacity generalised to transition systems.
Jeremy W. Bryans
Maciej Koutny
Laurent Mazaré
Peter Y. A. Ryan
Published in:
Int. J. Inf. Sec. (2008)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
formal verification
dynamic programming
reactive systems
fully observable