Spec# 2011-10-03

Erweitert die objektorientierte Programmiersprache C# um nicht-null-Typen und neue Fehlerbehandlungsroutinen; hilft bei der Vermeidung von logischen Fehlern und überprüft die Rückgabe-Werte von Methoden; der Download umfasst Compiler, Visual-Studio-Erweiterung und Prüfprogramm für Spec#-Anwendungen