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 Whats new in version 2.3.00529.0:
Requirements:
• F# Runtime 2.0
• NET Framework
Operating system: Windows 8, Windows 7, Windows Vista, Windows XP, Windows 2000, Windows 98
This ASP component enables file downloads to be controlled from within a script. It allows for password protection of individual files, and for record keeping. A built in access code generator is included. There are also some file utility functions.
Price: $35, Rating: 1, Downloads: 289 Download
With TreeBase Generator you will receive a MS Windows based application. It was tested on Win 98, ME and 2000. TreeBase Generator will create a new database for you and will also generate a complete w
Price: $ 79, Rating: 10, Downloads: 237 Download
QueryShark is an easy to use, agent-less tool to collect system information from your network of Windows based computers.
Price: $ 295, Rating: 10, Downloads: 173 Download
User Rating
Rating:2.2 out of
5 Based on13 ratings.
13 user reviews.
VCC 2.3.00529.0 details 
