jbreck

Pinned Repositories

duet-jbreck
CHORA: Compositional Higher-Order-Recurrence Analysis
Language:C10
fuzzplan
Language:Python00
icra-subtree-problem
ICRA: a static analyzer based on interprocedural compositional recurrence analysis
Language:C00
MPRS
Max-plus (and min-plus) recurrence solver
Language:OCaml00
reachc
ReACHC: recurrence analyzer for constrained horn clauses
Language:OCaml00
duet
Duet: static analysis for unbounded concurrency
Language:OCaml2317
icra
ICRA: a static analyzer based on interprocedural compositional recurrence analysis
Language:C93
SMASLTOV
Language:Python00

jbreck's Repositories

jbreck/duet-jbreck
CHORA: Compositional Higher-Order-Recurrence Analysis
Language:C1
jbreck/reachc
ReACHC: recurrence analyzer for constrained horn clauses
Language:OCaml
jbreck/fuzzplan
Language:Python
jbreck/MPRS
Max-plus (and min-plus) recurrence solver
Language:OCaml
jbreck/icra-subtree-problem
ICRA: a static analyzer based on interprocedural compositional recurrence analysis
Language:C