Any Framework
An SMT-based program verifier.
Published
Oct 3, 2026
15d ago
Total Downloads
1.1M
1,056,809
Install
dotnet add package Boogie --version 3.5.8
No framework information available.
Changes from Previous Version
No structural changes between v3.5.7 and v3.5.8.
Adoption Assessment
Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.
No SPDX license expression is published. Review the license text and your organisation's policy before redistribution.No target framework metadata is available. Confirm compatibility in a representative project before standardising on this package.
Related Guides & Workflows
Learn how to evaluate, integrate, or audit this package in your .NET project.