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

Symbolic Execution Engine for Boogie

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

A verification conditions generator for Boogie programs

Boogie AST Manipulator

Boogie-less-triggers

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

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

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.

same old Boogie with a mutating twist

Formal Methods