Tiny Model Checker

Systematic concurrency exploration in a few lines of Scheme.