- Programming Language: OCaml (Objective Caml) ×
Showing page 1 of 1.
This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.1 weekly downloads
GNU Keyserver based on SKS0 weekly downloads
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzer9 weekly downloads