I also want Spec#
I will copy Greg Young! I also want Spec#. If you also wants it, please let Microsoft know about it.
Something I like with Spec# is the support for Design by Contract.
I want verifiable software...
I WANT SPEC#!
Here is an old post about Defensive programming and Design by Contract on a routine level.