Reasoning about nondeterminism in programs

Evaluation
Source files for our small benchmarks: benchmarks.tgz
Source files for our industrial code fragments: systems.tgz