compiler-construction - e 验证语言编译器

Question

Verisity 的电子验证语言是否有免费的编译器？

Answer 1

经过短暂的搜索，似乎并非如此。这是一个解析器，但这可能只是一个起点。