-
- Основной репозиторий - Evgeny_CD(15.11.2020 00:46, ссылка)
- Однако уже есть биндинги для кучи языков - Evgeny_CD(15.11.2020 00:45, ссылка)
- Не забываем, что есть еще одна система формальной верификации - TLA, TLA+, PlusCal, TLC model checker, TLAPS - Temporal Logic of Actions от Microsoft Research -> - Evgeny_CD(02.06.2018 02:41, ссылка)