I'm very excited to pass along that Spec# has a new release. I personally am very interested in Spec# because I am a big fan of assertions (though I far too often don't practice what I preach) and this is a giant leap beyond that. Check it out. I love