Rule Systems for Runtime Verification: A Short Tutorial.

Howard Barringer Klaus Havelund David E. Rydeheard Alex Groce

Published in: RV (2009)

Keyphrases

decision making
relational databases
intelligent systems
complex systems
model checking
database
machine learning
computer vision
learning systems
asynchronous circuits