/adam

The complete command-line tool Adam with the model checker and the synthesizer for distributed systems. Contains the modules: adam. Contains the repos (as submodules): libs, framework, logics, modelchecking, ui, adammc, examples, synthesizer, boundedSynthesis, high-level, server-command-line, server-command-line-protocol, webinterface-backend, adamsynt.

Primary LanguageJavaGNU General Public License v3.0GPL-3.0

Issues