Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.875.316 Times

Screenshot

VCC 2.1.50110.0

VCC
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.

Features:
VCC is sound -- if VCC verifies your program, it really is correct (modulo bugs in VCC itself).
VCC verification is modular -- VCC...