Pergunta
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!
Solução
Have a look at Code Contracts.
Licenciado em: CC-BY-SA com atribuição
Não afiliado a StackOverflow