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

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   

Altova UModel Professional Edition 2015r3sp1 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 2015r3sp1

GUI Turbo Assembler 3.0 Lakhya Jyoti Nath    

Turbo Assembler, a popular assembler for emulating 8086 works with command line only. This project is to develop a GUI version of it, for improving user friendliness. Basically this program is a graphical user interface version of Borland Turbo Assembler. This program have been developed keeping in mind that many user .... Free download of GUI Turbo Assembler 3.0

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   

Android NDK x64 Revision 10 Google    

... machine on the device. The fundamental Android application model does not change. Using native code does not result in an automatic performance increase, but always increases application complexity. If you have not run into any limitations using the Android framework APIs, you probably do not need the NDK x64. .... Free download of Android NDK x64 Revision 10

software pick   

newLISP for Linux 10.6.2 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.2

XLS to DBF Converter 2.00 WhiteTown Software    

XLS (Excel) to DBF Converter allows you to convert your XLS (Microsoft Excel) files to DBF format. MS Excel up until 2007 version used a proprietary binary file format called Binary Interchange File Format (BIFF) as its primary format. Excel 2007 uses Office Open XML as its primary file format. .... Free download of XLS to DBF Converter 2.00

Winsent Net Send SDK 0.0.1 Winsent Lab    

WinSent Messenger is a program intended for instant messaging within local area networks (LAN). It will allow you to conveniently and instantaneously exchange short text messages with other users of your network, send and receive personal messages to and from them, send broadcast messages to a group of users or to .... Free download of Winsent Net Send SDK 0.0.1

software pick   

DTM ODBC DSN List 2014 DTM soft    

DTM ODBC DSN List is a free command line tool that enumerates or export to text file the list of ODBC data source names (DSN). The text file generated by the tool is ready to open by MS Excel. There are two output format: brief and full. Also, it can show .... Free download of DTM ODBC DSN List 2014