Runtime Verification of Object Invariants with Guarantee

Madhu Gopinathan and Sriram Rajamani

Details

Publication typeInproceedings
Published in8th workshop on Runtime Verification (RV)
> Publications > Runtime Verification of Object Invariants with Guarantee