A Scala DSL for Rete-Based Runtime Verification.

Klaus Havelund

Browse the full RV paper archive.