I want Spec#!

I want verifiable software...

I WANT SPEC#!

And of course, I want beauty(ah, yeah, singulare, one is enough) too!

如果你也像我一样期待.Net平台上的DbC工具的话，欢迎你也在你所知道的地方发布这张图片: