Predicate Diagrams for the Verification of Reactive Systems.

Dominique Cansell Dominique Méry Stephan Merz

Published in: IFM (2000)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
formal verification
information flow
concurrent systems
state machines
petri net
first order logic
control flow
formal specification
social networks
source code
hand drawn