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

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

SalarDbCodeGenerator 2.1.2013.0719 Salar Khalilzadeh    

... generate .NET class and methods for databases and model them based on customizable patterns. SalarDbCodeGenerator is ... uses customizable patterns to generate different codes and models for applications. The generator engine is mostly optimized for C# but it can be used to generate any other programming language code. FEATURES: .... Free download of SalarDbCodeGenerator 2.1.2013.0719

MVMMapper SDK 1.0.1 Alpha CodePlex    

... generate the ViewModel and its mapping to the Model when implementing MVVM in .NET. When implementing the Model-View-ViewModel pattern Origin Explained in Silverlight or WPF a ... Easy things that you add to a view model classes such as a property that raises the ... undo editing and the mapping from the view model class to a class from the model and .... Free download of MVMMapper SDK 1.0.1 Alpha

software pick   

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   

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

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

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

Bluefish 2.2.4 Olivier Sessink    

Bluefish is a powerful editor targeted towards programmers and webdevelopers, with many options to write websites, scripts and programming code. Bluefish supports many programming and markup languages. Lightweight - Bluefish tries to be lean and clean, as far as possible given it is a GUI editor. Fast - Bluefish starts really .... Free download of Bluefish 2.2.4

DTM OLE DB Provider List 2014 DTM soft    

DTM OLE DB Provider List is a free command line tool that enumerates or export to text file the list of installed OLE DB Providers. The text file generated by the tool is ready to open by Microsoft Excel. There are two output format: brief and full. The program also can .... Free download of DTM OLE DB Provider List 2014

GUI Turbo Assembler 2.3 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 2.3