FORMULA 2.0: Formal Specifications for Verification and Synthesis - View it on GitHub