Model Checking with SPIN Modeling and Verification with SPIN
CS 612: Software Design for High-performance Architectures.
Operating Systems
CHESS: A Systematic Testing Tool for Concurrent Software
Java Race Finder Checking Java Programs for Sequential Consistency