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
The directory "Boogie" stores code verified with the Boogie program verifier.