Spec# Available

Posted 1:56 PM
Spec# is available for download from MS research. Spec# includes support for Eiffel-like invariants. The initial drop is a bit sparse, but the download page includes academic background material and a link to the mailing list.