Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with boogie

A curated list of projects in awesome lists tagged with boogie .

https://github.com/codersguild/software-analysis-pavt

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

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

Last synced: 07 Nov 2024

https://github.com/aztek/voogie

A verification conditions generator for Boogie programs

boogie haskell tptp vampire verification verification-conditions

Last synced: 05 Dec 2024

https://github.com/taktoa/language-boogie

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

boogie haskell mirror

Last synced: 21 Nov 2024