Binary Analysis Platform
#
program-verification
Repositories 6
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
verification
verification-toolchain
symbolic-execution
program-slicing
slicing
klee
llvm
instrumentation
slice
llvm-ir
program-verification
software-verification
Python
Updated Mar 20, 2019
A data-driven SyGuS tool that generates provably-sufficient loop invariants for program verification.
loop-invariants
synthesis
sygus
invariants
invariant-generation
inference
program-verification
syntax-guided-synthesis
sygus-solver
cegis
OCaml
Updated Mar 10, 2019
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at…
technical-university
munich
tum
eidi2-revision-course
ocaml
program-verification
eidi
eidi2
eidi-2
revision-course
big-step
wp
functional-programming
OCaml
Updated Mar 12, 2019
BAP python bindings
Python
Updated Feb 26, 2019
Report on advancements in Type Theory and application of Program Verification
typesystem
type-theory
proof-assistant
quantum-programming-language
theroy-reports
programming-language
quantum-computing
verification
theory
program-verification
language-verification
TeX
Updated Oct 23, 2018