Tech riderRev. 20 Sept 2026
- 1Runs onNot stated by the maker
- 2CostsNot stated by the maker
- 3Verification methoddeductive
- 4Supported formalismscontracts
- 5Input languagesBoogie IVL
- 6Deploymentself-hosted
4 lines stated Written from the maker's own pages: github.com
Overview
Boogie is ranked #20 of 33 in formal verification tools on Specifiction.
Compared on formal verification tools
- Verification method
- deductivegithub.com
- Supported formalisms
- contractsgithub.com
- Input languages
- Boogie IVLgithub.com
- Deployment
- self-hostedgithub.com
Facts
- Purpose
- Boogie is a modeling language intended as a layer for building program verifiers for other languages.github.com · 4 Oct 2026
- Verification tool
- The Boogie tool accepts Boogie language input, can optionally infer invariants, and generates verification conditions for an SMT solver.github.com · 4 Oct 2026
- Default solver
- Z3 is the default SMT solver.github.com · 4 Oct 2026
- Other solvers
- Support for CVC5 and Yices2 is experimental.github.com · 4 Oct 2026
- Concurrency
- The Civl extension enables Boogie to model concurrent and distributed systems.github.com · 4 Oct 2026
- Installation
- Boogie releases are distributed as a .NET global tool through NuGet.github.com · 4 Oct 2026
- Requirements
- Boogie requires .NET and a supported SMT solver.github.com · 4 Oct 2026
- License
- Boogie is licensed under the MIT License.github.com · 4 Oct 2026
- Help
- Users can ask questions and report issues on the project's issue tracker.github.com · 4 Oct 2026
- Contributions
- The project accepts contributions through pull requests.github.com · 4 Oct 2026
- Package framework
- The NuGet listing identifies Boogie 3.5.7 as targeting .NET 8.0 or higher.nuget.org · 4 Oct 2026
Best Boogie alternatives
See all 20 All accessCh 01 PVS Free planLinuxMac Free to start7.5 All accessCh 02 Rocq Free planBrowserLinux Free to start7.5 All accessCh 03 Z3 Free planAndroidAPI Free to start7.4 All accessCh 04 Alloy Analyzer Free planAPILinux Free to start7.2 All accessCh 05 UPPAAL Free planLinuxMac Free to start7.2 All accessCh 06 CBMC Free planLinuxMac Free to start7.1
Where it ranks on Specifiction
Is Boogie yours?
Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.
Sources
- github.com/boogie-org/boogie· checked 4 Oct 2026
- nuget.org/packages/Boogie· checked 4 Oct 2026