c# - モデルチェックツール c#

Question

C# コード用のモデル チェック ライブラリはありますか? Eiffel のように、事前、事後条件注釈のクラス不変条件を探しています。私はSpec#をグーグルで検索しましたが、私が理解したように、それは言語拡張であり、私が期待するライブラリではありません.

ありがとう！

Answer 1

Code Contractsをご覧ください。