Synchronous Observers and the Verification of Reactive Systems.

Nicolas Halbwachs Fabienne Lagnier Pascal Raymond

Published in: AMAST (1993)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
formal verification
information flow
formal specification
petri net
knowledge based systems
concurrent systems
social networks
control flow
natural language
open source
life cycle