This is a collection of Boogie programs aims to provide a benchmark for verification robustness. Benchmarks are categorized by their sources, corresponds to the sections below.
Contains a selection of Dafny translation results using Dafny 3.0.0.
This is a collection of Boogie programs aims to provide a benchmark for verification robustness. Benchmarks are categorized by their sources, corresponds to the sections below.
Contains a selection of Dafny translation results using Dafny 3.0.0.