lip6 / ITSTools

A multi-formalism, multi-solution model-checker centered on the language GAL
22Updated 4 months ago

Related projects

Alternatives and complementary repositories for ITSTools