模型檢查工具c＃

Question

是否有任何模型檢查庫的C＃代碼？ 我正在尋找pre，post condition annotations class invariants，就像在Eiffel中一樣。 我搜索了，但據我所知，它是語言擴展而不是我期望的庫。

謝謝！

Answer 1

看一看Code Contracts。