Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with verification-conditions
A curated list of projects in awesome lists tagged with verification-conditions .
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/sdasgup3/pldi20-artifact-evaluation
Artifact Evaluation, PLDI'20
compiler-optimization detecting-bugs evaluation formal-semantics graph-matching language-semantics llvm-ir mcsema pldi reproducing-bugs reverse-engineering symbolic-execution-engine symbolic-summaries translation-validation validation verification-conditions verification-queries virtualbox x86-64
Last synced: 23 Dec 2024
