pierg / crome-cgg

Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems
11Updated 2 years ago

Related projects

Alternatives and complementary repositories for crome-cgg