Add to list - In: Development
- By: VccBuildServer
- Updated: 2013-01-23
- Version: 2.3.10122.0
- Price: Free
- Downloads: 290/0
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 an
