Pseudo-Exhaustive Verification of Rule Based Systems.

Rick Kuhn Dylan Yaga Raghu Kacker Jeff Lei Vincent C. Hu

Published in: SEKE (2018)

Keyphrases

rule based systems
security systems
rule base
rule based expert systems
knowledge based systems
expert systems
knowledge representation
formal models
procedural semantics
model checking
neural network
artificial intelligence
computer vision
decision trees
inference engine
training data