kiniry

AsmL
AutoPex
CHESS: Systematic Concurrency Testing
Code Contracts Extensions
Command Line Parser Library
Common Compiler Infrastructure - Metadata
Farseer Physics Engine
Flatland
Fluent Assertions
HomeOS
KUDA: Ramping Runtime Verification with GPU Computing
Microsoft Research Boogie
NModel
Parallel Programming with Microsoft .NET
Pex Extensions
Pex Extensions: Automated Software Engineering Group@NCSU
Practical Parallel and Concurrent Programming
Singularity RDK
Spec#
VCC