generative programming & verification - View it on GitHub