Microsoft Research Vcc

von Microsoft Research

Jetzt herunterladen von der Website des Entwicklers

5.0

aus 1 Stimmen

Lizenz: Freeware

Downloads insgesamt:9

Betriebssystem:Windows 7

Die neueste Version:2.3

Falschangaben melden

Produktbeschreibung

Bildschirmfoto

Microsoft Research Vcc 2.3 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist. Die beliebtesten Versionen dieses Programms sind 2.3 und 2.1.

Der eigentliche Entwickler dieser kostenlosen Software ist Microsoft Research. Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind. Diese Software ist in die Kategorie "Programmierung" eingeordnet.

Vom Entwickler:

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.

Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Microsoft Research AutoCollage 2008 informieren, die an Microsoft Research Vcc ähnlich sein können.

Microsoft Research Vcc herunterladen von der Website des Entwicklers

nützlich

Registry aufräumen

nützlich

Erstellen der Vektorgrafiken

nützlich

Verwendung der Firewall