Runtime Monitoring of Object Invariants with Guarantee.

Madhu Gopinathan, Sriram K. Rajamani

Browse the full RV paper archive.