Give AlbumentationsX a star on GitHub — it powers this leaderboard
Embedded specification language & model checker in Haskell