A Scala DSL for Rete-Based Runtime Verification.

Published in: RV (2013)

Keyphrases

production system
model checking
face verification
formal analysis
high security
metadata
digital libraries
hidden markov models
general purpose
cryptographic protocols
asynchronous circuits
verification method