Integrate M3C, a model checker for context-free modal process systems

LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems

http://automatalib.net

Apache License 2.0

92 stars 34 forks source link

Closed AlnisM closed 3 years ago