Structuring Reactive Systems in B AMN.

Kevin Lano Kelly Androutsopoulos Pauline Kan

Published in: ICFEM (2000)

Keyphrases

reactive systems
model checking
petri net
temporal logic
information flow
control flow
formal methods
state machines
real time
real time systems
decision making
intrusion detection