https://openjdk.org/projects/crac

A TLA+/PlusCal specification of OmniPaxos.

Greybox Fuzzing of Distributed Systems (CCS'23)

Erlang Sandboxing for Reliable and Scalable Concurrency Testing

RISC-V Verification Interface

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Verification of GoJournal

10 papers that all PhD students in programming languages ought to know, for some value of 10

Model-based testing examples for FizzBee

ABC: System for Sequential Logic Synthesis and Formal Verification

The Patriot

Record and Replay Framework

Interactive explorations of consistency models in shared-memory and message-passing distributed systems.

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Compositional, streaming I/O library for Scala

The pure asynchronous runtime for Scala

GUI for running the SPIN model checker

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

An open source clone of Amazon's Dynamo.

Automated Fault Injection Testing for Service-Oriented Distributed Systems

Icarus Verilog

https://openjdk.org/projects/code-tools/jcstress

Litmus testing tool for Kotlin/Native

[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

Concurrency Paper

Fuzzing concurrent Go programs