Thanks to visit codestin.com
Credit goes to github.com

#

boogie

Here are 14 public repositories matching this topic...

codersguild / Software-Analysis-PAVT

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

analysis llvm verification sudoku-solver fuzzing dafny boogie hacktoberfest cvc4 hoare-logic cbmc z3-smt-solver z3py hacktoberfest2021 dynamic-taint-analysis uclid5 uclid

Updated Apr 9, 2023
Boogie

boogie-org / symbooglix

Symbolic Execution Engine for Boogie

symbolic-execution boogie symbolic-execution-engine

Updated Dec 27, 2021
C#

ErickDevv / Gummy-Boogie-Theme

A collection of themes composed with a gummy explosion of color for programming time.

dark-theme vscode-theme boogie gummy

Updated Apr 15, 2024
TypeScript

aztek / voogie

A verification conditions generator for Boogie programs

haskell verification boogie tptp vampire verification-conditions

Updated Jan 31, 2020
Haskell

michael-emmi / bam-bam-boogieman

Boogie AST Manipulator

boogie program-transformations

Updated Mar 18, 2022
Boogie

taktoa / language-boogie

A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)

haskell mirror boogie

Updated Feb 3, 2017
Haskell

AI2001_Category-Source_Code-SC-Boogie

seanpm2001 / AI2001_Category-Source_Code-SC-Boogie

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Boogie category for AI2001, containing Boogie programming language datasets

Updated Aug 28, 2023
R

emptylambda / BLT

Boogie-less-triggers

trigger blt boogie tptp verification-conditions

Updated Apr 4, 2018
Haskell

SNU_2D_ProgrammingTools_IDE_Boogie

seanpm2001 / SNU_2D_ProgrammingTools_IDE_Boogie

The Boogie Programming language IDE submodule for SNU Programming Tools.

Updated Sep 15, 2022
Boogie

Learn-Boogie

seanpm2001 / Learn-Boogie

A repository for showcasing my knowledge of the Boogie programming language, and continuing to learn the language.

knowledge article gplv3 learn boogie md txt gpl3 bpl seanpm2001 seanpm2001-education seanpm2001-learn learn-boogie learn-boogie-lang learn-boogie-language boogie-language boogie-lang boogie-collection

Updated Sep 15, 2022
Boogie

emptylambda / mu-gie

same old Boogie with a mutating twist

boogie

Updated May 10, 2018
SMT

ChaariMahmoud / VeriWasm

VeriWasm is a formal verification framework for WebAssembly (WASM) programs that translates WAT code into Boogie for reasoning with SMT solvers like Z3 and Corral, built on the modern .NET 9.0 platform.

dotnet smart-contracts wasm smt boogie formal-verification z3-smt-solver

Updated Oct 20, 2025
C#

schlug / boogie

radio loop fm boogie schlug

Updated Oct 29, 2023
HTML

hengxin / formal-methods

Formal Methods

coq formal-methods dafny smt boogie sat tlaplus tlaps

Updated Feb 10, 2021

Improve this page

Add a description, image, and links to the boogie topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the boogie topic, visit your repo's landing page and select "manage topics."