Microsoft Research Vcc

par Microsoft Research

Télécharger depuis le site Web du développeur

5.0

avec 1 vote

Type de licence: Gratuit

Nombre de téléchargements:9

Système d'exploitation:Windows 7

Latest version:2.3

Signaler des informations incorrectes

Description

Capture d'écran

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, Microsoft Office Visio ou PDFill PDF Editor.

Télécharger Microsoft Research Vcc depuis le site Web du développeur

utile

Comment nettoyer le registre

utile

Comment créer des graphiques vectoriels

utile

Comment utiliser un pare-feu