VCC 2.1.50110.0 |
Company:
VccBuildServer
|
Date Added: July 13, 2012 | Visits: 483 |
|
||||||||||
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. If it succeeds, VCC promises that your program actually meets its specifications.
|
License: Freeware | Size: 9.5 MB |
Multimedia & Graphics
-
Lexolight 1.4
Lexolight is an easy to use 3D model viewer specially designed to focus on photorealistic user experience. To achieve the scene realism, it uses shaders and other latest technologies. |
14.9 MB | |
Multimedia & Graphics
-
LexoView 0.13.1
LexoView is 3D model viewer with focus on CAD data visualization. It is written in Open Inventor. |
4.56 MB | |
Communication Tools
-
Live Email Verifier Free 2.1
Email Verifier - a unique program that checks email addresses for the validity. The tool is designed for users who have their own mailing lists and want to keep them up-to-date. The tool verifies every e-mail address from a selected database or... |
830 KB | |
Audio Tools
-
Ve3D 1.5.2
Ve3D is a VRML/Open Inventor model viewer. It's an scene composition program since it has tools to manipulate and hide models. It supports active stereo display. |
12.58 MB | |
Gaming Utilities
-
Qmodel Viewer 1.0
Qmodel Viewer is a Quake 2 model viewer used to make custom player skings. Features include the ability to save PICT files and QuickTime movies of model animations. |
128 KB | |
Multimedia & Graphics
-
Ve3D Avenger 1.5.2
Ve3D Avenger is a VRML/Open Inventor 3D model viewer and world navigator. It's a scene composition program and an animated sequence creator that supports active stereo display. It is a fork of the Ve3D project that uses Qt3 for its GUI. |
3.39 MB | |
E-Mail Collectors
-
Email Verifier for Mac 1.0
Email Verifier is a web based email verification tool for email address verification services at affordable prices. Our email verifier service will help you clean your mailing list by validating each email you upload and verify email. Our 12... |
360 KB | |
Education
-
Magnetic Bar Field Model 1.0
The EJS Magnetic Bar Field Model shows the field of a bar magnet and has a movable compass that reports the magnetic field values. The bar magnet model is built by placing a group of magnetic dipoles along the bar magnet. You can modify this... |
92.16 KB | |
Education
-
Coin Rolling without Sliding on an Accelerated Platform Model 1.0
The Ejs Coin Rolling without Sliding on an Accelerated Platform model displays the dynamics of a coin rolling without slipping on an accelerated platform. The simulation displays the motion of the coin as well as the velocity vectors for the... |
1.33 MB | |
Education
-
Transverse Wave Model 1.0
The Ejs Transverse Wave model displays the motion of a transverse wave on a string. The simulation allows an arbitrarily polarized wave to be created. The magnitude of the components of the wave and the relative phase between the components of the... |
1.4 MB |
Programming
-
ETAC Interpreter 2-0.1-6-ena
The ETAC programming language is, arguably, the first of an evolutionary step of dictionary and stack based token activated programming languages, capable of full traditional high-level block structured syntax with the versatility and efficiency... |
13.06 MB | |
Programming
-
Weather Forecast 1.0.0.0
With Weather Forecast add-in you will be able to provide your SharePoint users with simple and visually appealing tool. Any user can: 1) Add cities to the view 2) View weather forecast for 3, 5 and 7 days 3) Change temperature format 4)... |
110 KB | |
Programming
-
Bat To Exe Converter 2.2
Bat To Exe Converter converts BAT (.bat) script files to the EXE (.exe) format Features - Visible and invisible applications - Inclusion of additional files, icon and version information - Creation of 32-Bit and 64-Bit EXE files -... |
4.04 MB | |
Programming
-
FileMaker Barcode Font Encoder Plugin 13.09
The FileMaker Pro Barcode Plug-In for Windows and Macintosh easily integrates into forms and reports to add barcodes. Code 128 (sets A, B and C), Postnet, Planet, Interleaved 2 of 5, ITF, UPC-A, EAN-13, EAN-8, Codabar and MSI are supported. This... |
1.53 MB | |
Programming
-
Subbee 32
User friendly Subtitles Editor/Translator. Can open, convert, modify and save subtitle files in Subrip(.srt), MicroDVD(.sub) and Subviewer format. It has built-in translator for quick translation. Can change FPS, charset (Unicode, UTF8), and much... |
4.19 MB | |
Development Editors
-
Altova MobileTogether Designer 6.0
MobileTogether is a revolutionary RMAD framework for building data-centric apps for all platforms: iOS, Android, Windows, and others. Use a combination of visual design and functional programming to build your cross-platform mobile apps.... |
221.52 MB | |
Development Editors
-
QTrace 0.2
A Powerful IDE for Android System Debug & Trace: 1.Fully Android IDE; 2.powerful logcat viewer, support search, highlight, bookmark. support analysing logcat by script, include memorygc, battery,keyaction etc. 3.support auto generate uml... |
157.36 MB | |
Development Editors
-
SocialMedia driven App Developer 3.20
SocialMedia driven App Developer is an interactive business planner for the 21st century Freeware, Shareware or App developer. Fine-tune cost-driving, reach, efficiency and sales parameters as you want. See their combined effect on Downloads,... |
3.9 MB | |
Development Editors
-
Comm Tunnel 2.2.0.78
Comm Tunnel is a free tool to connect endpoints. It builds a tunnel between endpoints. The endpoints can be any of serial port, TCP/IP server, TCP/IP client or UDP. The data received on one endpoint will be forward to anther fourt endpoints. It... |
44.52 KB | |
Development Editors
-
PilotEdit Lite 9.3.0
PilotEdit is an amazing file editor capable of editing large files. PilotEdit Lite works on both 32-bit and 64-bit Windows Operating System. 1. The file size supported by PilotEdit is unlimited Edit files larger than 10GB. 2. Support UNICODE... |
9.54 MB |