No. 21 of 33 ·Formal Verification Tools

Boogie

No platforms listed

Freedom report

One barScore 5.3

Boogie is ranked #21 of 33 in formal verification tools on Freedom251.

Compared on formal verification tools

Purpose: Boogie is a modeling language intended as a layer for building program verifiers for other languages.
Verification tool: The Boogie tool accepts Boogie language input, can optionally infer invariants, and generates verification conditions for an SMT solver.
Default solver: Z3 is the default SMT solver.
Other solvers: Support for CVC5 and Yices2 is experimental.
Concurrency: The Civl extension enables Boogie to model concurrent and distributed systems.
Installation: Boogie releases are distributed as a .NET global tool through NuGet.
Requirements: Boogie requires .NET and a supported SMT solver.
License: Boogie is licensed under the MIT License.
Help: Users can ask questions and report issues on the project's issue tracker.
Contributions: The project accepts contributions through pull requests.
Package framework: The NuGet listing identifies Boogie 3.5.7 as targeting .NET 8.0 or higher.

Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.