Home > software development > other >

VCC 2.3.00521.0

VCC 2.3.00521.0 summary

Download now or Track version

License: Freeware

Price: $0

Platform: Windows All

File size: 11.2 MB

Updated: 2012-05-23

Download: 77

Publisher: VccBuildServer

Publisher URL: http://www.codeplex.com/site/users/view/VccBuildServer

VCC 2.3.00521.0 screenshot

View VCC 2.3.00521.0 screenshot

Download VCC 2.3.00521.0

VCC 2.3.00521.0 description

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

VCC 2.3.00521.0 keywords

program code specifications invariants contracts function specifications program annotated mechanical verifier

VCC 2.3.00521.0 for Developers

Hyperlink code:

VCC 2.3.00521.0 Copyright

We periodically updates pricing and software information of VCC 2.3.00521.0 full version from the publisher, so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of VCC 2.3.00521.0 Edition. Download links are directly from our mirror sites or publisher sites, torrent files or links from rapidshare, megaupload, torrent sites, mediafire, easyshare, 4shared, badongo, box.net, divshare, filefactory, ifile, ifolder, megashare, sendspace are not allowed

Top Popular Software

Other Software

- Snifflib 1.8.9
Snifflib is a Java based numerical library designed to provide honest-to-goodness N-dimensional array construction and manipulation along with standard linear algebra functionality in Java.Snifflib provides support for N-Dimensional matrices, graphs, as well as statistics and computational routines.....
- Portable SmartSV7.5.5 / 7.6 R2
Portable SmartSVN is a graphical client for Subversion (SVN), an Open Source version control system. This program is designed for professionals who need an efficient and reliable SVN client for the every day tasks.SmartSVN has powerful features like built-in File Compare/Merge, Change Report or Tag ....
- SmartSV7.5.5 / 7.6 R2
SmartSVN is an innovative multi-platform client for Subversion, the designated successor of CVS.SmartSVN has powerful features like built-in File Compare/Merge, Change Report or Tag and Branch handling, which make your daily work with Subversion as easy as possible. SmartSVN is a tool that allows you to change tag and report....
- iReasoning Java SNMP AP5.0.36
SNMP (Simple Network Management Protocol) is the industry standard for managing networks. It is widely supported in IP, storage, and optical networks.iReasoning Java SNMP API is the industry leading SNMP library, which provides a high performance, cross platform SNMP Java API for building network management applications....
- PeStudio 7.31
PeStudio is a professional software utility that allows users to inspect multiple applications. The program generates and displays statistics about any Windows program without actually opening it. In this way, you can stay away from suspicious apps that can threat your computer’s safety. The u....

masocongty

torrent files or links from rapidshare, megaupload, torrent, mediafire, 4shared, badongo, box.net, filefactory, ifile, ifolder, megashare, sendspace ARE NOT posted