VCC VCC est un vérificateur mécanique pour les programmes C simultanés.
Télécharger maintenant

VCC Classement & Résumé

VCC Mots clés

téléspectateur vérifier Vérificateur AppConfig Vérificateur CD vérificateur Vérificateur d'URL Vérificateur de fichier Vérificateur SFV Vérificateur de vitesse vérificateur de bot libre vérificateur désactivation vérificateur de courrier vérificateur de serveur vérificateur de connexion Vérificateur de site Web vérificateur de pot de miel Vérificateur de page Web vérificateur d'accord visionneuse de modèle vérificateur de réseau ActiveSync Verifier vérificateur orthographique vérificateur de données problème mécanique vérificateur de cinéma local Vérificateur de contrôle Vérificateur d'épisode Version vérificative Dictionnaire simultané Bibliothèque simultanée Concurrent Vérificateur MD5 vérificateur de code de hachage vérificateur de CRC vérificateur d'intégrité vérificateur de disque Vérificateur MD5SUM application Verifier vérification de disponibilité Vérificateur système Mechanical Co vérificateur de lien vérificateur de texte Vérificateur d'intégrité des flux Vérificateur flash MediaStream Verifier vérifieur SHA-1 Vérificateur UPNP vérificateur de débit uantum simulation mécanique PDF vérificateur Vérificateur d'en-tête Vérificateur de stabilité Vérificateur Java Vérificateur d'utilisation des cas vérificateur d'activité Vérificateur imap vérificateur de compte vérificateur de connectivité Vérificateur de mise à jour logiciel mécanique mécanique Vérificateur de classes C++ Vérificateur de hachage Assemblée Verifier Vérificateur de contrôle Outil de bibliothèque simultanée Apprendre la bibliothèque simultanée Vérificateur de contrôle WPF Vérificateur de mot vérificateur d'orthographe Bibliothèque de test simultanée Calcul mécanique Plusieurs activités simultanées vérificateur mécanique Vérifier le programme Vérificateur prérequis Vérificateur d'applications Web Vérificateur PE Vérificateur pré-requis Vérificateur d'installation processus concurrent l'âge des armes robots mécaniques vérificateur de courrier électronique calculs mécaniques

VCC La description

VCC est un vérificateur mécanique pour les programmes C simultanés. VCC prend un programme C, annoté avec des spécifications de fonction, des invariants de données, des invariants de boucle et du code fantôme, et tente de prouver ces annotations correctes. Si cela réussit, VCC promet que votre programme répond à ses spécifications. Partagez votre expérience: Écrivez un avis sur ce programme

VCC Logiciels associés