Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization.

Published in: Autom. Softw. Eng. (1995)

Keyphrases

reactive systems
model checking
temporal logic
petri net
control flow
information flow
real world
formal methods
state machines
machine learning
decision making