boogie 2.4.1+dfsg-0.1 (amd64 binary) in ubuntu focal

 Boogie is a compiler intermediate language with support for automatic invariant
 checking using an SMT solver such as Z3. It supports program verification for
 a variety of other, higher-level languages, including Spec\#, C, Dafny, and
 Chalice.
 .
 This package contains the Boogie compiler, as well as bvd, the Boogie
 Verification Debugger.