Skip to content

@boogie-org Boogie

Change the repository type filter

All

    Repositories list

    18 repositories

    • lean-embedding

      Public
      An embedding of Boogie semantics into Lean
      Lean
      •
      MIT License
      •0•2•0•0•Updated Jan 13, 2025Jan 13, 2025

    • lean-itrees

      Public
      A Lean implementation of Interaction Trees
      Lean
      •
      Apache License 2.0
      •0•3•0•1•Updated Jan 13, 2025Jan 13, 2025

    • symdiff

      Public
      SymDiff-Differential-Program-Verifier
      semantic-diffrelational-verificationregression-verification
      Boogie
      •
      Other
      •9•33•1•2•Updated Jan 3, 2025Jan 3, 2025

    • boogie

      Public
      Boogie
      Boogie
      •
      MIT License
      •114•518•33•12•Updated Dec 2, 2024Dec 2, 2024

    • coco

      Public
      The compiler generator Coco/R
      C#
      •
      Other
      •4•8•0•0•Updated Jul 3, 2024Jul 3, 2024

    • jar2bpl

      Public
      Translate java jar files into Boogie programs
      Java
      •
      MIT License
      •1•12•4•0•Updated Apr 16, 2024Apr 16, 2024

    • boogieamp

      Public
      Java parser for the Boogie intermediate verification language
      Boogie
      •2•11•2•0•Updated Apr 15, 2024Apr 15, 2024

    • boogie-friends

      Public
      Tools for interacting with Boogie
      Emacs Lisp
      •13•47•10•4•Updated Jan 5, 2024Jan 5, 2024

    • corral

      Public
      solver for the reachability modulo theories problem
      Boogie
      •
      MIT License
      •29•60•37•3•Updated Sep 11, 2023Sep 11, 2023

    • forro

      Public
      A sample verifier for a toy language built on top of Boogie
      F#
      •
      MIT License
      •1•20•0•0•Updated Nov 24, 2022Nov 24, 2022

    • boogie-vscode

      Public
      VS Code Extension for Boogie
      TypeScript
      •
      MIT License
      •3•2•1•0•Updated Nov 24, 2022Nov 24, 2022

    • BoogieV

      Public
      A verified intermediate verification language
      Dafny
      •
      MIT License
      •1•2•0•0•Updated Nov 9, 2022Nov 9, 2022

    • symbooglix

      Public
      Symbolic Execution Engine for Boogie
      symbolic-executionsymbolic-execution-engineboogie
      C#
      •
      MIT License
      •4•28•20•0•Updated Dec 27, 2021Dec 27, 2021

    • boogie-partners

      Public
      Repository containing the old boogie-partners repo
      C#
      •2•2•1•0•Updated Apr 4, 2019Apr 4, 2019

    • verisol

      Public archive
      A formal verifier and analysis engine for Solidity Smart Contracts
      1•1•0•0•Updated Jan 12, 2019Jan 12, 2019

    • sdvbench

      Public
      Microsoft Static Driver Verifier Benchmarks
      C#
      •
      Other
      •3•14•0•0•Updated Jul 21, 2017Jul 21, 2017

    • boogie-docs

      Public
      Documentation for the Boogie IVL and related technologies
      Python
      •5•7•0•0•Updated Jul 16, 2017Jul 16, 2017

    • bytecodetranslator

      Public
      C#
      •
      Microsoft Public License
      •8•7•1•4•Updated Jul 21, 2016Jul 21, 2016