- Windows
- Outils de développement
- IDE
- Microsoft Research Vcc
Microsoft Research Vcc
Description
Microsoft Research 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.
Parmis les utilisateurs de ce programme, les versions les plus téléchargées sont les versions 2.3 et 2.1. 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 ce logiciel dans notre catégoie Outils de développement et plus précisément IDE.
Du développeur:
VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type invariants. Annotated programs are translated to logical formulas using the Boogie tool, which passes them to an automated SMT solver Z3 to check their validity.
Au vu de votre téléchargement de Microsoft Research Vcc, nous vous conseillons des logiciels similaires tels que Adobe Reader, Greenshot ou PSD Viewer.
Le support des extensions
Vous pouvez obtenir des modules complémentaires qui téléchargent des fichiers/vidéos à partir de sites Web arbitraires.
Commentaires
Subscribe to commentsMerci d'ajouter un commentaire expliquant les raisons de votre vote.