Login / Signup
Validation of rule-based reactive systems by sound scenario generalization.
Robert J. Hall
Published in:
KBSE (1993)
Keyphrases
</>
reactive systems
temporal logic
model checking
information flow
petri net
control flow
formal methods
data driven
state machines
real world
case study
expert systems
rule base
information security
real time systems
relational databases
multi agent systems
social networks