Еще одна цитата.

[thesz]

И тоже - дословная, даже добуквенная:

In a current project, Tom is used to certify that the code generated by the Tom compiler is correc

А сама вещица довольно привлекательна.