Clone wiki

verified / Home

Verified programs and algorithms

This repository collects programs and algorithms that have been verified. The collection is organized by verification tool; so far there is only Boogie but more may come in the future. Some branches identify subsets of the programs that are documented in specific papers or other documents. To clone the latest revision of a branch "my_branch" use the command:

hg clone -u my_branch https://bitbucket.org/sechairethz/verified

Boogie

The directory "Boogie" stores code verified with the Boogie program verifier.

Updated