boogie
Here are 13 public repositories matching this topic...
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
-
Updated
Apr 9, 2023 - Boogie
Symbolic Execution Engine for Boogie
-
Updated
Dec 27, 2021 - C#
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Boogie category for AI2001, containing Boogie programming language datasets
-
Updated
Aug 28, 2023 - R
The Boogie Programming language IDE submodule for SNU Programming Tools.
-
Updated
Sep 15, 2022 - Boogie
A repository for showcasing my knowledge of the Boogie programming language, and continuing to learn the language.
-
Updated
Sep 15, 2022 - Boogie
A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)
-
Updated
Feb 3, 2017 - Haskell
A collection of themes composed with a gummy explosion of color for programming time.
-
Updated
Apr 15, 2024 - TypeScript
A verification conditions generator for Boogie programs
-
Updated
Jan 31, 2020 - Haskell
Improve this page
Add a description, image, and links to the boogie topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boogie topic, visit your repo's landing page and select "manage topics."