• =?ISO-8859-1?Q?Julio_C=E9sar_Carrascal?= (10/10) Mar 30 2007 Spec# has been released and I though it should be of interest for the

=?ISO-8859-1?Q?Julio_C=E9sar_Carrascal?= <jcesar phreaker.net> writes:

group:

http://research.microsoft.com/research/downloads/Details/f96c1618-b332-4106-b0fc-911346d5f537/Details.aspx



non-null type system, method pre- and post-conditions, loop invariants, 

checking, run-time checking, and a static verifier. This version of 


Particularly interesting for me: The non-null type and Loop invariants.