VST
version 2.14
con contribuciones de
Andrew W. Appel, Lennart Beringer, Robert Dockins, Josiah Dodds, Aquinas Hobor, Jean-Marie Madiot, Gordon Stewart, Qinxiang Cao, Qinshi Wang y otros.
El archivo de licencia tiene información sobre derechos de autor, licencias y permisos.
Vea aquí para obtener instrucciones.
Nuestra página web describe los objetivos del proyecto y tiene enlaces a muchas publicaciones relacionadas.
Para una introducción a cómo usar C Verificable C, leer el Manual o consultar Fundamentos del Software Volumen 5: C Verificable C para un tutorial con ejercicios.
Lógica del programa para compiladores certificados, por Andrew W. Appel et al., Cambridge University Press, 2014. Disponible en tapa dura.
