Microsoft Research
Microsoft Translator |
Runtime Verification of Object Invariants with Guarantee

Madhu Gopinathan and Sriram Rajamani
March 2008

rv08.pdf
PDF file

In  8th workshop on Runtime Verification (RV)

Details

TypeInproceedings
> Publications > Runtime Verification of Object Invariants with Guarantee