Verification Modulo Versions T owards usable verification
Verification Modulo Versions T owards usable verification. F. Logozzo , S. K. Lahiri, Microsoft Research, Redmond M. Fahndrich, now at Google S. Blackshear, Univ. Colorado, Boulder. Background. CodeContracts in VS. Compile-time verification 100% Abstract interpretation.
507 views • 33 slides