VCC 2.3 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. Microsoft Research est le développeur de cette application gratuit. Retrouvez VCC dans notre catégoie Outils de développement et plus précisément IDE. Pour l'installation du programme, vous trouverez habituellement les fichiers d'installation sous les noms suivants : VCC.exe et VccPortCasa.exe.
Du développeur:
VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds, VCC promises that your program actually meets its specifications.
Au vu de votre téléchargement de VCC, nous vous recommandons des outils similaires tels que GEO5, Dekart Private Disk Multifactor ou Talking Keys.