viperproject/voila

Voila is proof outline checker for fine-grained concurrency verification

ScalaNOASSERTION