Princeton, NJ

Zak Kincaid

Expert
@zkincaid
www.cs.princeton.edu/~zkincaid

duet. Duet: static analysis for unbounded concurrency

30

srk. Symbolic Reasoning Kit

8

bench. SMT

4

ocaml-mathsat. OCaml bindings for MathSAT 5

2

duet-gps. SMT

1

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

1

strategy-improvement. OCaml

1

llvm2smt. OCaml library to transform an Llvm control flow graph in an SMT formula.

1
8
Apply