Dynamic Analysis for Concurrent Programs

A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.

A dynamic language and bytecode vm

Model Checking for Industrial Programmers with TLA+

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

property testing and verification front-end for Rust

Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)

A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.

Model checker for Maude systems controlled by strategies

A small experiment reproducing the AWS DNS race condition using the Spin model checker.

A multi-formalism, multi-solution model-checker centered on the language GAL

A simple BDD-based symbolic model checker for Computational Tree Logic

An automatic assume-guarantee model checker for safety and liveness verification

State space graph obtained from the TLA+ model checker.

Model using CDSChecker (https://plrg.ics.uci.edu/software_page/42-2/)

Symbolic HCTL model checker for Boolean networks

A Lustre model checker using the H-Houdini invariant learning algorithm.

A hyperintensional theorem prover for rapidly prototyping modular semantic theories

SCAN statistical model checker

A simple symbolic model checker for Petri Nets

TACO Model Checker for Threshold Automata

Model checker in Rust + FSM-based design patterns

This repository includes my work on the development of Hybrid Rebeca model transformer as part of my thesis

A fork of the McMini repository specifically for supporting deep debugging

A Small, Extensible DPOR-based Model Checker for C Programs