Rule Systems for Runtime Verification: A Short Tutorial.

Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce

Browse the full RV paper archive.