•  25-06-2021
  •  | 
  •  

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!

Was it helpful?

Solution

Have a look at Code Contracts.

Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top