Verifying Synchronous Reactive Systems Programmed in ESTEREL.

Amar Bouali Jean-Paul Marmorat Robert de Simone Horia Toma

Published in: FTRTFT (1996)

Keyphrases

reactive systems
model checking
circuit design
temporal logic
formal methods
information flow
formal specification
petri net
control flow
asynchronous communication
databases
distributed databases
real time systems
state machines