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