Systematic Incremental Validation of Rule-Based Reactive Systems.

Published in: KBSE (1994)

Keyphrases

reactive systems
information flow
temporal logic
model checking
petri net
control flow
expert systems
real time systems
formal methods
data driven
rule based systems
rule base
state machines
distributed systems
open source
artificial intelligence
real world