Advertisement

VCC

A mechanical verifier for concurrent C programs
Download.hr
-
Users
5.0
1 votes
Your vote
  • Currently 5.00/5
Listed version:
2.3.00328.0
License:
Freeware
/ Free / Free download
Price:
Free
Operating system:
Windows
File size:
11.2 MB
Downloads:
2,328
Last updated:
28.03.2012 | Updated
Publisher:
Category:
Programming / Other Programming Tools
trusted
DOWNLOAD


VCC is listed in Other Programming Tools category and made available by VccBuildServer for Windows. Unfortunately, we have not yet reviewed VCC. If you would like to submit a review of this software, we encourage you to submit us something!
VCC review by publisher VccBuildServer:

What is VCC software from VccBuildServer, what is it used for and how to use it?

A mechanical verifier for concurrent C programs

VCC was developed to be 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. The work flow is illustrated in the figure below. You start by annotating your C code with contracts that describe both what your program is supposed to do and (certain aspects of) why you think that it works. Contracts are written using C preprocessor macros, so you can get rid of them using a single preprocessor switch and compile the code using your favorite C compiler. Annotated programs are translated to logical formulas using the Boogie tool, which passes them to an automated theorem prover (Z3) to check their validity. VCC is implemented primarily in F#, and supports a plugin model. NOTE: Non-Commercial Use Only

Download and install VCC safely and without concerns.

VCC is a software product developed by VccBuildServer and it is listed in Programming category under Other Programming Tools. VCC is a free software product and it is fully functional for an unlimited time although there may be other versions of this software product. You can run VCC on all modern Windows OS operating systems. VCC was last time updated on 28.03.2012 and it has 2,328 downloads on Download.hr portal. Download and install VCC safely and without concerns.
VCC awards
VCC awards
VCC 2.3.00223.0 (01.01.1970)
VCC 2.3.00328.0 (01.01.1970)
Focusky 3-months Pro Plan
Time limited giveaway
$24.75  FREE

in Windows giveaways Expires on March 30, 2017

Focusky 3-months Pro Plan
FREE: Nuclear Dawn
Qbasic It is good
Ozeki VoIP SIP .Net SDK It is good
VB.NET Code Library thanks
VIP Video Converter giveaway
How to Transfer SMS from Android...
Gihosoft Mobile Transfer
Do Your Data Recovery for iPhone...
Android SMS+Contacts Recovery
What is your favorite racing game?
Tycoon and Economy/City-Building...
What web browser do you use?
What is your favorite system...
Do you use a 32-bit OS or 64-bit...