Verifying Temporal Properties of Reactive Systems by Transformation.

Geoff W. Hamilton

Published in: VPT@ETAPS (2015)

Keyphrases

model checking
temporal properties
reactive systems
temporal logic
formal methods
formal specification
real time
intrusion detection
modal logic
communication networks