Voila is proof outline checker for fine-grained concurrency verification
Primary LanguageScalaOtherNOASSERTION