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.
-
Notifications
You must be signed in to change notification settings - Fork 0
emptylambda/BoogieCollection
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
a collection of Boogie benchmarks
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published