Playground for comparing formal methods tools on realistic app-engineering cases - View it on GitHub