Voila is proof outline checker for fine-grained concurrency verification - View it on GitHub