Инструмент проверки моделей C#
Есть ли какая-либо модель, проверяющая библиотеку на код C#? Я ищу инварианты класса аннотаций условий до, как в Eiffel. Я гуглил SpeC#, но, как я понял, это расширение языка, а не библиотека, как я и ожидал.
Благодарю вас!