a model checker for my multithreaded algorithm - View it on GitHub