Описание тега spec#
SpeC# - это формальный язык для контрактов API (под влиянием JML, AsmL и Eiffel), который расширяет C# конструкциями для ненулевых типов, предусловий, постусловий и инвариантов объектов.
SpeC# поставляется с разумной методологией программирования, которая позволяет специфицировать и обосновывать инварианты объекта даже при наличии обратных вызовов и многопоточности. SpeC# - это исследовательский инструмент, который использовался для изучения спецификаций и динамических / статических инструментов, которые их используют.