ccadar

Imperial College London

Pinned Repositories

ESEC-FSE.github.io
The Web site of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Language:HTML00
fp-benchmarks-imperial
Language:C0 1 00
homebrew-klee
Homebrew tap for KLEE
Language:Ruby0 1 00
issta-conferences.github.io
Website for the ISSTA conference series
Language:SCSS00
klee
KLEE Symbolic Virtual Machine
Language:C++2 1 00
klee-demo
Language:C0 2 01
klee-uclibc
klee-uclibc
Language:C0 2 00
klee-web
KLEE in the browser
Language:Python0 1 00
klee.github.io
Language:HTML0 1 00
klee
KLEE Symbolic Execution Engine
Language:C++2.6k 106 605681

ccadar's Repositories

ccadar/klee
KLEE Symbolic Virtual Machine
Language:C++2 1 00
ccadar/ESEC-FSE.github.io
The Web site of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Language:HTML00
ccadar/fp-benchmarks-imperial
Language:C0 1 00
ccadar/homebrew-klee
Homebrew tap for KLEE
Language:Ruby0 1 00
ccadar/issta-conferences.github.io
Website for the ISSTA conference series
Language:SCSS00
ccadar/klee-demo
Language:C0 2 01
ccadar/klee-uclibc
klee-uclibc
Language:C0 2 00
ccadar/klee-web
KLEE in the browser
Language:Python0 1 00
ccadar/klee.github.io
Language:HTML0 1 00
ccadar/SaBRe
Load-time selective binary rewriting
Language:C0 2 00
ccadar/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C++0 0 00
ccadar/sv-benchmarks
Collection of Verification Tasks
Language:C1 0
ccadar/symbooglix
Symbolic Execution Engine for Boogie
Language:C#0 0