Visual Modeling and Verification of Distributed Reactive Systems.

Asif Iqbal A. K. Bhattacharjee S. D. Dhodapkar S. Ramesh

Published in: SAFECOMP (2003)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
distributed systems
information flow
colored petri nets
low level
state machines
distributed environment
visual information
visual features
life cycle
databases
petri net
knowledge based systems
knowledge acquisition
multi agent