Podnova Player  Windows library  Podnova home
Multimedia | Messengers | Desktop | Development | Education | Games | Graphics | Networking | Security | Servers | Utilities | Web Dev
Home › Development › VCC
VCC

VCC

By Microsoft Research
Rating: 5 5/5 (1)
License type: Freeware
Latest version: 2.3
Last updated: April 18th, 2012
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...
Download: https://archive.codeplex.com/?p=vcc
Downloaded 13 times
Main window
Main window

Related programs:

  • IC-Prog 1.0
    It is a programmer interface for PIC microcontrollers and another IC's.
  • LabTool-48UXP 9.1
    LabTool-48UXP is an intelligent universal programmer.
  • AtoCC 1.3
    AtoCC contains: AutoEdit, AutoEdit Workbook, kfG Edit, TDiag, VCC, SchemeEdit.
  • Microsoft Research Vcc 2.3
    VCC is a tool that proves correctness of annotated concurrent C programs
  • Z3-2.6 2.6
    Z3 is a high-performance theorem prover being developed at Microsoft Research.
Related topics Popular trends

© Podnova Windows Library, 2024
Privacy • Cookie policy • Submit • Contact