Explore projects

Simplistic dependency analysis tool for C

Practical verification of numerical kernels

A fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.

TEE-based Metadata Service

Code for computing sufficient, implementable and permissive assumptions.

Model checker for distributed systems using hitting families of schedules