The command-line tool AdamMC for model checking Petri nets with transits against Flow-LTL and Flow-CTL. Contains the packages: adammc. Depends on the repos: libs, framework, logics, modelchecker, ui.
Primary LanguageJavaGNU General Public License v3.0GPL-3.0
No one’s star this repository yet.