VST
version 2.14
com contribuições de
Andrew W. Appel, Lennart Beringer, Robert Dockins, Josiah Dodds, Aquino Hobor, Jean-Marie Madiot, Gordon Stewart, Qinxiang Cao, Qinshi Wang e outros.
O arquivo de licença possui informações sobre direitos autorais, licenciamento e permissões.
Veja aqui para obter instruções.
Nossa página da Web descreve os objetivos do projeto e tem links para muitas publicações relacionadas.
Para uma introdução de como usar o verificável C, leia o manual ou consulte o Software Foundations Volume 5: Verificável C para um tutorial com exercícios.
Lógica do programa para compiladores certificados, de Andrew W. Appel et al., Cambridge University Press, 2014. Disponível em capa dura.
