VCC

VCC

Rating: 5 5/5 (1)
Publisher: Microsoft Research
License type: Freeware
Home page: vcc.codeplex.com
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 Download: http://vcc.codeplex.com
10.5 MB Downloaded 11 times
Main window
Main window