Atomicity Explorer, a tool for run-time detection of potential atomicity violations in Java programs. Available by request. Note: Atomicity is similar to serializability.
Type Discovery for Parameterized Race-Free Java (PRFJ). Available by request.
Centralization and RMI-Removal Transformations for Java
Java Checker, a state-space exploration tool for concurrent Java programs.
Nachos-dfs: Nachos-3.4 plus Distributed
File System Project
Version 2.1 released on 21 December 1999. The code has been cleaned up!
It runs under Linux and Solaris!