This project has a sibling called Lookupper — an on-screen dictionary for language learning. It is similar to Translumo but built for a different purpose. Lookupper is built to help you learn a ...
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