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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback