Ранний исследовательский инструмент для описания и исчерпывающей проверки логических моделей и алгоритмов на обычном TypeScript.
SpecCraft позволяет описывать спецификации систем — например, ограничитель скорости запросов, лифт, банковский перевод или распределённую блокировку — прямо на языке TypeScript и затем проверять их модель на все возможные состояния и нарушения инвариантов. Проект находится на очень ранней стадии, является исследованием и proof-of-concept, интерфейсы могут сильно измениться, и использовать его в реальных задачах пока не стоит.
Описание автора:Exhaustive model checking for specs written in plain TypeScript.
