Explore projects

Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.

Controller synthesis for stochastic dynamical system by means of finite abstraction

Model checker for distributed systems using hitting families of schedules

Hadoop, YARN, and HDFS, instrumented with tracing framework. Up to date with version 2.7.2. Most up to date branch is brownsys-tracingplane-2.7.2

Parallel reactive synthesis for omega-regular specifications under the transition fairness condition

A modified version of StochasticSynthesis that we used for our TAC '21 and TACAS '22 submissions. The original repo is here: https://github.com/gtfactslab/StochasticSynthesis