Login / Signup
A Graphical Environment for the Specification and Verification of Reactive Systems.
A. K. Bhattacharjee
S. D. Dhodapkar
Sanjit A. Seshia
R. K. Shyamasundar
Published in:
SAFECOMP (1999)
Keyphrases
</>
reactive systems
model checking
formal methods
temporal logic
petri net
information flow
formal verification
transition systems
formal specification
concurrent systems
distributed systems
real time systems
state machines
natural language
multi agent systems
intelligent agents