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

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

RISE PostgreSQL code generator 4.4 RISE to Bloome Software    

... constraints in the database to match the RISE model. Once the database model is updated, the views defined in the RISE model are created in the database and possible default data, entered in the model, is inserted. RISE Code generators The RISE suit ... for you to use when transforming your RISE model into software. There are two main categories of .... Free download of RISE PostgreSQL code generator 4.4

Visual Paradigm for UML Standard Edition 11.0 B20140404 Visual Paradigm    

... from diagrams and generates documentation. The UML modeling software helps you build quality applications faster, better ... object-oriented design, construction, testing and deployment. The UML modeling software helps you build quality applications faster, better ... (OOA), OO design (OOD) support · Use case modeling · Textual analysis for identifying candidate actors, use .... Free download of Visual Paradigm for UML Standard Edition 11.0 B20140404

software pick   

Xcode 4.6.3 Apple Inc.    

... · Zombie detection · Static analysis · Source viewer · Organizer · Low-overhead sampling · Refactoring · Customizable instruments · Built-in version editor · System trace .... Free download of Xcode 4.6.3

software pick   

Agilian Enterprise 11.0 B20140402 Visual Paradigm    

... standards like ArchiMate 2.0, Zachman Framework, Business Motivation Model (BMM), decision table, etc. As an all-in-one enterprise architecture tool, Agilian supports additionally BPMN, UML, SysML, ERD, mind mapping, etc. With Agilian, you can integrate different business domains and aspects of business smoothly. You can export your work to an .... Free download of Agilian Enterprise 11.0 B20140402

Agilian Enterprise Portable x64 11.0 B20140402 Visual Paradigm    

... standards like ArchiMate 2.0, Zachman Framework, Business Motivation Model (BMM), decision table, etc. As an all-in-one enterprise architecture tool, Agilian x64 supports additionally BPMN, UML, SysML, ERD, mind mapping, etc. With Agilian x64, you can integrate different business domains and aspects of business smoothly. You can export your work .... Free download of Agilian Enterprise Portable x64 11.0 B20140402

Altova UModel Professional Edition 2014r2 Altova, Inc.    

... the power of UML. Design application and database models and generate Java, C#, or Visual Basic .NET ... You can even revise your code or UML models and complete the round trip by automatically updating ... diagram types and adds a unique diagram for modeling XML Schemas in UML. UModel Professional Edition also .... Free download of Altova UModel Professional Edition 2014r2

PeStudio 8.23 Marc Ochsenmeier     update

... ...) WITHOUT starting it! How do you verify whether an application is 64-bit capable or if the Data Execution Prevention (DEP) or the Address Space Layout Randomization (ASLR) features are used? Do you want to be sure whether your application uses functions that have been recognized as obsolete, and .... Free download of PeStudio 8.23

software pick   

Ascape 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 5.6.1

software pick   

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