Towards the hierarchical verification of reactive systems.

Mila E. Majster-Cederbaum Frank Salger

Published in: Theor. Comput. Sci. (2004)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
verification method
formal specification
information flow
artificial intelligence
petri net
hierarchical structure
control flow
relational databases
knowledge based systems
data flow
concurrent systems