microsoft / formula

FORMULA 2.0: Formal Specifications for Verification and Synthesis
17Updated 5 months ago

Related projects

Alternatives and complementary repositories for formula