模型检查工具c＃

Question

是否有针对c＃代码的模型检查库？ 我正在寻找pre，post条件注释类不变量，就像在Eiffel中一样。 我用谷歌搜索了Spec#，但据我所知，它是语言扩展而不是我期望的库。

谢谢！

Answer 1

查看Code Contracts。