Thomas Reps

Um novo método simplifica a prova de propriedades de programas usando lógica de não realizabilidade.

Esse paper apresenta um método pra criar semântica formal automaticamente usando interpretadores.

Explorando novos métodos pra geração de programas eficiente.