Boogie

solver for the reachability modulo theories problem

Boogie

Tools for interacting with Boogie

VS Code Extension for Boogie

SymDiff-Differential-Program-Verifier

An embedding of Boogie semantics into Lean

A Lean implementation of Interaction Trees

The compiler generator Coco/R

Translate java jar files into Boogie programs

Java parser for the Boogie intermediate verification language