Softwares and Drivers for Specific Models

ASUS Eee PC
Dell Mini
Lenovo IdeaPad
Acer Aspire
Samsung N
Toshiba
Gigabyte
iiView
Gigabyte

ASUS Eee PC Specific

Dell Mini Specific

Lenovo Specific

Acer Aspire Specific

Samsung N Specific

Toshiba Specific

Gigabyte Specific

iiView Specific

MSI Wind Specific

HP Mini
HP Mini
Sony Vaio W
LG Netbook
Windows XP Downloads
Ad Space for Rent
Rss Subscribe
Facebook Fan Page
Follow us at Twitter

HP Mini Specific

Fujitsu Specific

Sony Vaio Specific

LG
Specific

Windows XP Softwares

Advertise Here!

Rss Subscribe

Facebook Page

Follow us @Twitter
Tablet PC Software Downloads

VCC 2.3.00307.0


Ultrabook / Netbook Software Downloads » Developer Tools » VCC 2.3.00307.0
Bookmark and Share Subscribe

Date Added:

 Mar 09, 2012 01:09 AM

Publisher's Description:

 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.
Features
VCC is sound -- if VCC verifies your program, it really is correct (modulo bugs in VCC itself).
VCC verification is modular -- VCC verifies your program one function/type definition at a time, using only the specifications of the functions it calls and the data structures it uses. This means that you can verify your code even if the functions you call haven't been written yet.
VCC supports concurrency -- you can use VCC to verify programs that use both coarse-grained and fine-grained concurrency. You can even use it to verify your concurrency control primitives. Verifying a function implicitly guarantees its thread safety in any concurrent environment that respects the
VCC supports low-level C features (e.g. bitfields, unions, wrap-around arithmetic).

The work flow is illustrated in the figure below. You start by annotating your C code with contracts that describe both what your program is supposed to do and (certain aspects of) why you think that it works. Contracts are written using C preprocessor macros, so you can get rid of them using a single preprocessor switch and compile the code using your favorite C compiler. Annotated programs are translated to logical formulas using the Boogie tool, which passes them to an automated theorem prover (Z3) to check their validity. VCC is implemented primarily in F#, and supports a plugin model.

Documentation:

 http://vcc.codeplex.com/

Last Download:

 Mar 29, 2024 05:37 PM

Downloads:

 350

OS:

 Windows

Rating:
(0 Ratings)  Must Register to Post Rating

Advertisements


Please Register to Post Comments

VCC 2.3.00307.0
Download

Email to a Friend

Report Broken Download Link

Some of our Latest and Top Downloads

Recent Downloads

1. Iperius Backup 4.3.3 (Added on 9/6/2015)
2. Unreal Commander 2.02.1098 (Added on 9/6/2015)
3. Far Manager 3.0.4413 Beta / 3.0.4400 Stable (Added on 9/6/2015)
4. PhonerLite 2.27 (Added on 9/6/2015)
5. Eraser 6.2.0.2970 (Added on 9/6/2015)
6. Phoner 3.0 (Added on 9/6/2015)
7. Pocket Radio Player 090415 (Added on 9/6/2015)
8. Notepad++ Portable 6.8.3 (Added on 9/6/2015)
9. Notepad++ 6.8.3 (Added on 9/6/2015)
10. Miranda IM Portable 0.10.35 (Added on 9/6/2015)

Latest Recommendations

1. Gesture 2Launch Full Version {Free for Limited Time} (Added on 2/27/2013)
2. Classic Shell v3.6.5 - Windows 8 Start Menu like Windows 7 (Added on 2/16/2013)
3. Opera 12.11 (Added on 12/9/2012)
4. Metro UI Tweaker for Windows 8 (Added on 11/30/2012)
5. WinSetupFromUSB 1.0 Beta8 (Added on 4/30/2012)
6. SpeedyFox 2.0 (Added on 3/25/2012)
7. My CPU Monitor 1.00 (Added on 3/12/2012)
8. Yahoo! Messenger 11.5.0.192 (Added on 3/3/2012)
9. Mozilla Firefox 10.0 Final (Added on 2/7/2012)
10. BasicMouse and BasicBoard 6.1.2.0 (Added on 2/1/2012)

Most Downloaded

1. WinSetupFromUSB. 0.2.3 (70320 Downloads)
2. Netbook Resolution Customizer Version 1.0 Beta2 (69210 Downloads)
3. Acer Aspire One D255 Wireless LAN Driver Win7 9.0.0.173 (64044 Downloads)
4. BasicMouse and BasicBoard 6.1.2.0 (51338 Downloads)
5. Acer Aspire One D270 Wireless LAN Driver Windows 7 32bit 9.2.0.469 (47764 Downloads)
6. Samsung N150 Wireless LAN,REALTEK Windows 7(32bit) 1676.12.1113.2009 (40219 Downloads)
7. Acer Aspire One D270 WebCam Application Windows 7 32bit 1.5.2108.00 (38082 Downloads)
8. AsTray Plus 1.4.0 BETA1 (37241 Downloads)
9. Toshiba Mini NB505 Realtek Wireless LAN Driver Windows 7 (32bit) 2.00.0013.L_101021 (34740 Downloads)
10. Acer Aspire One D255 VGA Driver Win7 8.14.10.2117 (33293 Downloads)

Alexa Rank

   
RSS Subscribers

Rss Subscribe
      
Contact Us

Submit your Software