compiler-construction - e 検証言語コンパイラ

Question

Verisity のe Verification Language用の無料のコンパイラはありますか?

Answer 1

簡単な検索の後、そうではないようです。ここにパーサーがありますが、これはおそらく出発点にすぎません。