Model checking tool c#

2
votes

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!

1
c#model-checking
Have you looked at Code Contracts? – Serg Rogovtsev
Thank You!!! Could you please submit it as answer? – Sergey Kucher

1 Answers