Как я могу найти компилятор z-нотации или парсер или интерпретатор?

Я должен найти Z синтаксический анализатор или компилятор. Пожалуйста, помогите мне, если можете.

Источник

1 ответ

Решение

Проверьте Сообщество Z Инструменты.

Community Z Tools Project (CZT): Инструменты для редактирования, проверки типов и анимации спецификаций Z и соответствующих обозначений. Включает инфраструктуру Java для создания инструментов формальных методов.

Источник
Другие вопросы по тегам