c# - 模型检查工具 c#

Question

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

谢谢你！

Answer 1

看看代码合同。