boogie

There are 0 repository under boogie topic.

codersguild / Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
dafny verification dynamic-taint-analysis z3-smt-solver cvc4 uclid5 boogie llvm cbmc z3py sudoku-solver hoare-logic analysis uclid fuzzing hacktoberfest hacktoberfest2021
Language:Boogie 34
boogie-org / symbooglix
Symbolic Execution Engine for Boogie
boogie symbolic-execution symbolic-execution-engine
Language:C# 27
ErickDevv / Gummy-Boogie-Theme
A collection of themes composed with a gummy explosion of color for programming time.
boogie dark-theme gummy vscode-theme
Language:TypeScript 9
aztek / voogie
A verification conditions generator for Boogie programs
boogie tptp vampire verification verification-conditions haskell
Language:Haskell 5
michael-emmi / bam-bam-boogieman
Boogie AST Manipulator
boogie program-transformations
Language:Boogie 4
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
ai ai-2001 ai-2001-dataset ai-2001-development ai2001 ai2001-dataset ai2001-development artificial-intelligence boogie boogie-lang boogie-language dataset gpl3 gplv3 md r-language rmarkdown-language source-code-dataset txt boogie-sc-dataset
Language:R 2
Learn-Boogie
seanpm2001 / Learn-Boogie
A repository for showcasing my knowledge of the Boogie programming language, and continuing to learn the language.
article boogie bpl gpl3 gplv3 knowledge learn md seanpm2001 seanpm2001-education seanpm2001-learn txt boogie-collection boogie-lang boogie-language learn-boogie learn-boogie-lang learn-boogie-language
Language:Boogie 2
SNU_2D_ProgrammingTools_IDE_Boogie
seanpm2001 / SNU_2D_ProgrammingTools_IDE_Boogie
The Boogie Programming language IDE submodule for SNU Programming Tools.
boogie boogie-lang boogie-language gpl3 gplv3 ide md programming snu snu-2d snu-2d-programming-tools snu-2d-programmingtools snu-development snu-programming-tools snu2d-programmingtools snu2dprogrammingtools snuprogrammingtools txt web-development web-ide
Language:Boogie 2
taktoa / language-boogie
A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)
mirror boogie haskell
Language:Haskell 2
emptylambda / BLT
Boogie-less-triggers
blt boogie trigger tptp verification-conditions
Language:Haskell 1
emptylambda / mu-gie
same old Boogie with a mutating twist
boogie
Language:SMT 1
hengxin / formal-methods
Formal Methods
formal-methods sat smt boogie dafny coq tlaplus tlaps
schlug / boogie
boogie fm loop radio schlug
Language:HTML