Verification of microarchitectural refinements in rule-based systems.

Nirav Dave Michael Katelman Myron King Arvind José Meseguer

Published in: MEMOCODE (2011)

Keyphrases

rule based systems
rule base
security systems
rule based expert systems
knowledge based systems
model checking
knowledge representation
expert systems
backward chaining
formal models
procedural semantics
real time
computational intelligence
knowledge discovery
knowledge base
genetic algorithm
databases