Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
Home ›
Development ›
Microsoft Research Vcc
Microsoft Research Vcc
By Microsoft Research
Rating:
5/5 (1)
License type:
Freeware
Home page:
research.microsoft.com
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...