VST
version 2.14
avec des contributions de
Andrew W. Appel, Lennart Beringer, Robert Dockins, Josiah Dodds, Aquinas Hobor, Jean-Marie Madiot, Gordon Stewart, Qinxiang Cao, Qinshi Wang et autres.
Le fichier de licence contient des informations sur le droit d'auteur, les licences et les autorisations.
Voir ici pour les instructions.
Notre page Web décrit les objectifs du projet et a des liens vers de nombreuses publications connexes.
Pour une introduction à la façon d'utiliser la vérifiable C, lire le manuel ou consulter les fondations du logiciel Volume 5: Vérifiable C pour un tutoriel avec des exercices.
Logiques de programme pour les compilateurs certifiés, par Andrew W. Appel et al., Cambridge University Press, 2014. Disponible en couverture rigide.
