Pinned Repositories
bench
cbmc
C Bounded Model Checker
cdcl
Interactive demonstration of Conflict-Drive Clause Learning
cil
C Intermediate Language
duet
Duet: static analysis for unbounded concurrency
duet-gps
llvm2smt
OCaml library to transform an Llvm control flow graph in an SMT formula.
ocaml-mathsat
OCaml bindings for MathSAT 5
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
srk
Symbolic Reasoning Kit
zkincaid's Repositories
zkincaid/duet
Duet: static analysis for unbounded concurrency
zkincaid/srk
Symbolic Reasoning Kit
zkincaid/bench
zkincaid/ocaml-mathsat
OCaml bindings for MathSAT 5
zkincaid/duet-gps
zkincaid/llvm2smt
OCaml library to transform an Llvm control flow graph in an SMT formula.
zkincaid/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
zkincaid/cbmc
C Bounded Model Checker
zkincaid/cdcl
Interactive demonstration of Conflict-Drive Clause Learning
zkincaid/cil
C Intermediate Language
zkincaid/deriving
Extension to OCaml for deriving functions from type declarations.
zkincaid/sv-opam
Repository for OPAM packages related to software verification
zkincaid/dune
A composable build system for OCaml.
zkincaid/jennLang
zkincaid/ocaml-buddy
binding for the BDD buddy library
zkincaid/ocaml-ntl
OCaml bindings to NTL
zkincaid/OCRS
zkincaid/pavmark
Program analysis and verification benchmarks
zkincaid/proof-tree-builder
A web-based graphical proof assistant for LK and Hoare logic.
zkincaid/researchr-booklet-ocaml
Scripts to generate LaTeX schedule from researchr.org exported XML
zkincaid/strategy-improvement
zkincaid/termite
A termination analyser
zkincaid/z3
The Z3 Theorem Prover
zkincaid/z3overlay
An overlay for the OCaml Z3 binding.