DSLs for Runtime Verification.

Klaus Havelund, Moran Omer, Doron Peled

Browse the full RV paper archive.