VCC VCC is a mechanical verifier for concurrent C programs.
Download

VCC Ranking & Summary

VCC Tags

viewer verify AppConfig Verifier Verifier CD verifier url verifier File Verifier SFV verifier Speed Verifier bot verifier free deactivation verifier mail verifier server verifier connection verifier Website Verifier honeypot verifier webpage verifier chord verifier model viewer network verifier ActiveSync Verifier spell verifier data verifier mechanical problem local cinema verifier Checksum verifier Episode Verifier version verifier Concurrent Dictionary Concurrent Library Concurrent MD5 Verifier hash code verifier crc verifier integrity verifier disk verifier MD5SUM verifier Application Verifier uptime verifier System Verifier Mechanical Co link verifier text verifier stream integrity verifier Flash Verifier MediaStream Verifier SHA-1 verifier UPnP Verifier bitrate verifier uantum mechanical simulation PDF verifier Header Verifier Stability Verifier Java verifier use cases verifier activity verifier IMAP Verifier account verifier connectivity verifier Update Verifier mechanical software mechanical C++ classes verifier Hash Verifier Assembly Verifier Control Verifier concurrent library tool learn concurrent library WPF Control Verifier Word Verifier spelling verifier concurrent test library mechanical science calculation multiple concurrent activities mechanical verifier verify program Prerequisites Verifier web application verifier PE verifier Pre-Requisite Verifier Installation Verifier concurrent process age of robots weapons mechanical e-mail verifier mechanical calculations

VCC Description

VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds, VCC promises that your program actually meets its specifications. Share your experience: Write a review about this program

VCC Related Software