An Improved Recipe for Specifying Reactive Systems in Z.

Published in: ZUM (1997)

Keyphrases

reactive systems
temporal logic
model checking
information flow
control flow
formal methods
state machines
petri net
real time systems
real world
information systems
low cost
business processes