Download this episode
Both tools can be downloaded from Devlabs or our academic project pages.
- Try it live at http://www.pexforfun.com
- Code Contracts: http://research.microsoft.com/contracts
- Pex: http://research.microsoft.com/pex
- See this video in French!
The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.
Available formats for this video:
Actual format may change based on video formats available and browser capability.