- Windows
- Programmierung
- IDE
- Microsoft Research Vcc
Microsoft Research Vcc
Produktbeschreibung
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.
Kommentare
Den Kommentarverlauf abonnierenBitte hinterlasst einen Kommentar und begründent eure Wahl.