Skip to content
@boogie-org

Boogie

Organisation for Microsoft Research's Boogie IVL and related projects

Pinned Loading

  1. boogie Public

    Boogie

    Boogie 534 115

  2. corral Public

    solver for the reachability modulo theories problem

    Boogie 60 29

Repositories

Showing 10 of 18 repositories
  • symdiff Public

    SymDiff-Differential-Program-Verifier

    Boogie 34 9 1 2 Updated May 12, 2025
  • boogie Public

    Boogie

    Boogie 534 MIT 115 33 11 Updated May 12, 2025
  • lean-embedding Public

    An embedding of Boogie semantics into Lean

    Lean 2 MIT 0 0 0 Updated May 6, 2025
  • boogie-friends Public

    Tools for interacting with Boogie

    Emacs Lisp 47 14 11 3 Updated Mar 10, 2025
  • lean-itrees Public

    A Lean implementation of Interaction Trees

    Lean 5 Apache-2.0 0 0 1 Updated Jan 13, 2025
  • coco Public

    The compiler generator Coco/R

    C# 8 5 0 0 Updated Jul 3, 2024
  • jar2bpl Public

    Translate java jar files into Boogie programs

    Java 12 MIT 1 4 0 Updated Apr 16, 2024
  • boogieamp Public

    Java parser for the Boogie intermediate verification language

    Boogie 11 2 2 0 Updated Apr 15, 2024
  • corral Public

    solver for the reachability modulo theories problem

    Boogie 60 MIT 29 37 3 Updated Sep 11, 2023
  • forro Public

    A sample verifier for a toy language built on top of Boogie

    F# 23 MIT 2 0 0 Updated Nov 24, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…