Automated modular specification and verification of real-time reactive systems.

Jonathan S. Ostroff

Published in: WIFT (1995)

Keyphrases

reactive systems
model checking
real time
formal methods
real time systems
temporal logic
formal verification
information flow
transition systems
control flow
petri net
low cost
asynchronous circuits
state machines
expert systems
formal specification