Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with verification-queries
A curated list of projects in awesome lists tagged with verification-queries .
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
