Rule-Based Runtime Verification.

Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen

Browse the full VMCAI paper archive.