---
name: "bvd"
section: "1"
platform: "linux"
package: "boogie"
version: "2.4.1+dfsg-0.1"
release: "Debian 12 (Bookworm)"
platforms: ["linux"]
url: "https://new.carta.tech/bvd"
---

# bvd(1)

Boogie Verification Debugger

## NAME

bvd - Boogie Verification Debugger

## SYNOPSIS

**bvd**

## DESCRIPTION

**bvd** is an interactive verification condition debugger for for Microsoft Research's Boogie programming language.

## OPTIONS

**bvd** is a graphical program and accepts no options on the command line.

## COPYRIGHT

Boogie is copyright © 2003-2015 Microsoft Corporation and licensed under the Expat license.

This manual page is copyright © 2013, 2015-2016 Benjamin Barenblat and licensed under the Expat license.