Variance Analyses from Invariance Analyses
Variance Analyses from Invariance Analyses. Josh Berdine jjb@microsoft.com Microsoft Research, Cambridge Joint work with Aziem Chawdhary, Byron Cook, Dino Distefano & Peter O’Hearn SAVCBS’06: 10 Nov 2006. State of the verification toolbox. Safety properties & reachability:
498 views • 32 slides