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

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

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

The Boogie Programming language IDE submodule for SNU Programming Tools.

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

Boogie AST Manipulator

Symbolic Execution Engine for Boogie

Formal Methods

A verification conditions generator for Boogie programs

same old Boogie with a mutating twist

Boogie-less-triggers

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