Podnova Player  Windows library  Podnova home
HomeDevelopment › Microsoft Research Vcc
Microsoft Research Vcc

Microsoft Research Vcc

By Microsoft Research
Rating: 5 5/5 (1)
License type: Freeware
Latest version: 2.3
Last updated: May 22nd, 2012
VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type...