VCC 2.3.10214.0 download

Visit VCC 2.3.10214.0 homepage for support.

« BACK

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.


Related software downloads

Visustin 7 Aivosto Oy    

... draw your own. Understand complex routines. Review algorithms. Verify program logic. Restructure bad code. Create code documentation automatically. With Visustin you create PDF flow charts or print them to hang on your wall. You can save flow charts in any common image format, such as GIF. You can also create .... Free download of Visustin 7

newLISP for Linux 10.6.0 Lutz Mueller    

... in the standard 32-bit versions · LP64 Memory model support makefiles for LINUX, MacOS X and SOLARIS, TRU64 Small and portable: · Only around 200KB in size (depending on platform and compile flavor) · Very fast load time for CGI and scripts · Uses only very essential UNIX libs .... Free download of newLISP for Linux 10.6.0

Ascape for Mac OS X 5.6.1 Miles T. Parker    

... innovative tool for developing and exploring general-purpose agent-based models. It is designed to be flexible and powerful, but also approachable, easy to use and expressive. Models can be developed in Ascape using far less code than in other tools. Ascape models are easier to explore, and profound changes to the models can be made with minimal code changes. Ascape .... Free download of Ascape for Mac OS X 5.6.1

software pick   

QPix 3.6.2 Escape    

... and visualized using a QPix area as document viewer. Metadata: · Read TIFF, Exif, GPS, IPTC, and QuickTime metadata tags. Information: · General info: height, width, color depth, horz/vert resolution · Frame type: page, resolution, layer, thumbnail. · Color info: color space, color profile. · Compressed picture info: .... Free download of QPix 3.6.2

Lingobit Localizer 7.0 Lingobit Technologies    

Lingobit Localizer is a software localization tool that provides developers with an effective solution to facilitate and streamline the software localization process and communication between developers, translators and testers. Unique to Lingobit Localizer is its unified interface and productivity tools, such as Automated QA, Validation Expert, Scan for Changes, Translation Memory, .... Free download of Lingobit Localizer 7.0

Advanced USB Port Monitor 2.6.5 build 408 AGG Software    

Advanced USB Port Monitor is USB bus, USB device and protocol analyzer software. Advanced USB Port Monitor packs the robust functionality that customers have come to capture, view and process USB traffic. It offers sophisticated viewing and intelligent searching to accurately and efficiently debug and test High (480Mbps), Full (12Mbps) and .... Free download of Advanced USB Port Monitor 2.6.5 build 408

Firebird Code Factory 13.9 SQL Maestro Group    

... including Excel, HTML, XML, and more; powerful BLOB Viewer and Editor. .... Free download of Firebird Code Factory 13.9

PCGen 6.03.06 Beta PCGen Team    

PCGen is a FREE Open Source RPG character generator and maintenance program (d20 Systems mainly) that works on most personal computers (It's Java-based so: Windows, Mac OS X, Linux, Unix are supported). All datafiles are ASCII so they can be modified by users. All of this work is performed under the .... Free download of PCGen 6.03.06 Beta

software pick   

Texmaker Portable 4.3 Pascal Brachet    

... unicode support, spell checking and a built-in pdf viewer with synctex support. Texmaker is released under the GPL license . .... Free download of Texmaker Portable 4.3

software pick   

RISE PHP for PostgreSQL code generator 4.4 RISE to Bloome Software    

... to the information interfaces specified in the RISE model. This includes classes for database access and, optionally, ... creating, and updating, relational databases based on your model. A RISE model contains the entire life-cycle of your data model. The code generator translates this life-cycle into an ... for working with databases based on the RISE model. The generated code includes classes for managing database .... Free download of RISE PHP for PostgreSQL code generator 4.4