1
Есть ли бесплатный комплимент для Verisity's e Verification Language?e Подтверждение языка Компилятор
A
ответ
1
Не кажется, что после краткого поиска. Here - синтаксический анализатор, но это, вероятно, только отправная точка.
Я отредактировал это, чтобы в нем было ясно, что вы говорите о e (http://en.wikipedia.org/wiki/E_%28verification_language%29), а не E (http: //en.wikipedia. орг/вики/Е-% 28programming_language% 29) –