c# - 模型检查工具C#

是否有用于C＃代码的模型检查库？
我正在寻找前后条件注释类不变式，例如在Eiffel中。
我用Google搜索了Spec#，但据我了解，它是语言扩展而不是我所期望的库。

谢谢！

最佳答案

看看Code Contracts。

关于c# - 模型检查工具C#，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/11932642/