Affichage des articles dont le libellé est vcc. Afficher tous les articles
Affichage des articles dont le libellé est vcc. Afficher tous les articles

lundi 15 novembre 2010

VCC

VCC

VCC est un vérificateur mécanique pour les programmes C concurrents. VCC prend un programme C, annoté avec les spécifications de fonction, invariants de données, des invariants de boucle ... et tente de prouver que ces annotations sont correctes.



Télécharger VCC .