Visual Verification of Reactive Systems.

Luca de Alfaro Zohar Manna Henny B. Sipma Tomás E. Uribe

Published in: TACAS (1997)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
low level
petri net
visual information
visual features
life cycle
formal specification
databases
social networks
case study
information flow
verification method