e Verificação linguagem compilada [fechado]

Question

Existe algum compilador livre para de Verisity e Verificação Idioma ?

Answer 1

Não parece assim, depois de uma breve pesquisa. Aqui é um analisador, mas isso é provavelmente apenas um ponto de partida.