EDN Admin
Well-known member
[Broken External Image]:http://ecn.channel9.msdn.com/o9/ch9/4/5/3/5/1/5/staticcheckercodecontracts_85_ch9.pngFrancesco Logozzo, a researcher at the*Research in Software Engineering (RiSE)*group at Microsoft Research,*gives*a demo of the Static Checker that comes with Code Contracts for .NET*tools. The static checker allows you to verify that all the assertions in your code hold without actually running the code!
Francesco also goes to the whiteboard and gives us a short tutorial on Abstract Interpretation, the technique used by the static checker to prove the assertions.
The*Research in Software Engineering team (RiSE) coordinates Microsofts research in Software Engineering in Redmond, USA.
[Broken External Image]:http://channel9.msdn.com/515354/WebViewBug.aspx?EVT=0
More...
Francesco also goes to the whiteboard and gives us a short tutorial on Abstract Interpretation, the technique used by the static checker to prove the assertions.
The*Research in Software Engineering team (RiSE) coordinates Microsofts research in Software Engineering in Redmond, USA.
[Broken External Image]:http://channel9.msdn.com/515354/WebViewBug.aspx?EVT=0
More...