Model checking tool c#

Question

Is there any model checking library for c# code? I am seeking for pre,post condition annotations class invariants, like in Eiffel. I have googled Spec# but as I understood it is language extension not a library as I would expect.

Thank You!

Have you looked at [Code Contracts](http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx)? — Sergei Rogovtcev, Aug 13 '12 at 10:41

score 3 · Accepted Answer · answered Aug 13 '12 at 14:15

3

Have a look at Code Contracts.

answered Aug 13 '12 at 14:15

Sergei Rogovtcev

5,804
2
22
35

Model checking tool c#

1 Answers1