Modeling and Verification of Reactive Systems using Rebeca.

Marjan Sirjani Ali Movaghar Amin Shali Frank S. de Boer

Published in: Fundam. Informaticae (2004)

Keyphrases

reactive systems
model checking
formal methods
information flow
temporal logic
formal specification
formal verification
colored petri nets
petri net
modeling language