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

Dev-C++ Portable 5.11 Bloodshed Software    

Dev-C++ Portable is the portable version of Dev-C++. It has all the features that come with Dev-C++, but the difference is that you can directly run it from an external device, without having to install it. The small and free application supports several languages, and you can choose one when you .... Free download of Dev-C++ Portable 5.11

VCam SDK 5.2 e2eSoft    

VCam™ is a Webcam Emulator, which emulates a webcam in your system and works like a real one. It can be used in most of the applications which use webcam, such as IM softwares, video broadcasting, video conferencing, video teaching, remote education, video chatting etc. You can use it to set .... Free download of VCam SDK 5.2

software award    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   

newLISP for Mac OS X 10.7.0 Lutz Mueller     update

... 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 Mac OS X 10.7.0

Themida 2.3.4.0 Oreans Technologies    

Software protectors where created to keep an attacker from directly inspecting or modifying a compiled application. A software protector is like a shield that keeps an application encrypted and protected against possible attacks. When a protected application is going to be run by the operating system, the software protector will first .... Free download of Themida 2.3.4.0

Modelio 3.4.1 B20151208 Modeliosoft    

Modelio was developed as an accessible and Open Source modeling environment. Modelio is based on a 20-year track record of high end commercial products. Modelio is built to deliver a broad-focused range of ... and system architects. FEATURES: · UML Modeler · BPMN support integrated with UML · Java code generator · XMI import/export · HTML model publishing · Extension system · Scripting language support .... Free download of Modelio 3.4.1 B20151208

Tundra 2.3.2 realXtend Development Team    

... use the ones provided. Some examples: Tundra --config viewer.xml - Starts Tundra with "viewer" set of plugins ... --server and --headless command line parameters. The Tundra viewer mode is the client that is used to connect to a server. See the scenes folder for example demo scenes and applications. F.e.x. .... Free download of Tundra 2.3.2

Devphone Toolkit 2.0.0 Fernando Cerqueira    

Devphone toolkit is a collection of Windows phone Controls and tools built for and by the Windows Phone developer community. This release include open source code , samples & docs, plus design-time support for the Windows Phone platform. Project Description The Devphone Toolkit is an open-source project built on .... Free download of Devphone Toolkit 2.0.0

ModelMaker Pascal Edition 11.9.0 ModelMaker Tools BV    

ModelMaker is a two-way class tree oriented productivity, refactoring ... of Delphi for .NET syntax (v1 and v2). ModelMaker Pascal Edition has full reverse engineering capabilities and ... Delphi IDE Integration experts take care of synchronizing ModelMaker and the Delphi IDE editors. The C# ... C# 5 .NET framework syntax is fully supported. ModelMaker C# Edition has full reverse engineering capabilities and .... Free download of ModelMaker Pascal Edition 11.9.0

Arduino BOARDS.TXT Editor 1.1 Heinz Kessler    

Arduino BOARDS.TXT Editor is a Windows program for editing BOARDS.TXT and PROGRAMMERS.TXT files of your Arduino board. You can create, edit, duplicate, disable, rearrange, and import boards and programmers. The edit window offers documentation on every field of the board description. You can also copy BOARDS.TXT snippets from other people's web .... Free download of Arduino BOARDS.TXT Editor 1.1