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.

1 Comment

  • Luis the difference is that spec# has a compile time prover.

    Instead of getting runtime exceptions when contracts are broke (although you can get them); you get compile time errors saying that you *may* break the contract...

    The difference is huge.

    Cheers,

    Greg

Comments have been disabled for this content.