A Priori Verification of Reactive Systems.

Mila E. Majster-Cederbaum Frank Salger Maria Sorea

Published in: FORTE (2000)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
verification method
formal verification
concurrent systems
information flow
petri net
control flow
state machines
formal specification
signature verification
real time systems
real time
modeling language
case study
knowledge base
real world