Vcc VCC ist ein mechanischer Verifizierer für gleichzeitige C-Programme.
Jetzt downloaden

Vcc Ranking & Zusammenfassung

Vcc Stichworte

Zuschauer verifizieren AppConfig-Verifizierer Verifizierer CD-Verifizierer URL-Verifizierer Dateiprüfer SFV-Prüfer Speed Verifier Bot-Verifizierer freier Deaktivierungs-Verifizierer. Mail-Verifizierer Server-Verifizierer Verbindungsprüfer Website-Verifizierer. Honeypot-Verifizierer Webseite-Verifizierer. Akkord Verifizierer Modell Viewer Netzwerk-Verifizierer ActiveSync Verifier Rechtschreibprüfer Datenprüfer mechanisches Problem Lokaler Kino-Verifizierer. Prüfsumifierprüfer. Episodenprüfer Versionsprüfer Gleichzeichen Wörterbuch. Gleichzeitige Bibliothek Gleichzeitig MD5 Verifier Hash-Code-Verifizierer. CRC-Verifizierer Integrität Verifizierer Platten Verifizierer MD5SUM Verifizierer Anwendungsprüfer Uptime-Verifizierer. Systemprüfer Mechanical Co. Linkprüfer Textprüfer Stream Integrity-Prüfer. Flash-Prüfer MediaStream-Verifizierer SHA-1-Verifizierer UPNP-Verifizierer. Bitrate-Verifizierer uantum mechanische Simulation. PDF Verifizierer Kopfprüfer Stabilitätsprüfer Java-Verifizierer Verwenden Sie Kastenprüfer. Aktivität Verifizierer Imap-Verifizierer Kontoprüfer Konnektivitätsprüfer Aktualisierungsprüfer mechanische Software mechanisch Verifizierer für C++-Klassen Hash-Verifizierer Montageprüfer Steuerungsprüfer Gleichzeitiges Bibliothekswerkzeug Lernen Sie gleichzeitige Bibliothek WPF-Steuerungsprüfer Wortprüfer Rechtschreibprüfer Gleichzeitige Testbibliothek. Mechanische Wissenschaftsberechnung. mehrere gleichzeitige Aktivitäten mechanischer Verifizierer Programm überprüfen Voraussetzungen Verifizierer. Webanwendungsprüfer PE-Verifizierer Pre-Requisite-Prüfer Installationsprüfer gleichzeitiger Prozess Alter von Roboterwaffen mechanisch E-Mail-Verifizierer mechanische Berechnungen

Vcc Beschreibung

VCC ist ein mechanischer Verifizierer für gleichzeitige C-Programme. VCC nimmt ein C-Programm, das mit Funktionsangaben, Dateninvarianten, Loop-Invarianten und Ghost-Code kommentiert wird, und versucht, diese Anmerkungen zu beweisen. Wenn es erfolgreich ist, verspricht VCC, dass Ihr Programm tatsächlich seine Spezifikationen erfüllt. Teile deine Erfahrung: Schreiben Sie eine Bewertung zu diesem Programm

Vcc Zugehörige Software