Adam - Analyzing Distributed Asynchronous Models
Pinned Loading
Repositories
- high-level Public
The framework for the synthesis of distributed systems modeled with high-level Petri games. Contains the packages: highLevel. Depends on the repos: libs, framework, synthesizer.
adamtool/high-level’s past year of commit activity - adam Public
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, a…
adamtool/adam’s past year of commit activity - adamsynt Public
The command-line tool AdamSYNT for the synthesis of distributed systems modeled as Petri games with transits. Contains the modules: adamsynt. Depends on the repos: libs, framework, synthesizer, boundedSynthesis, high-level, server-command-line-protocol, ui.
adamtool/adamsynt’s past year of commit activity - webinterface Public
The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.
adamtool/webinterface’s past year of commit activity - synthesizer Public
The framework for the synthesis of distributed systems modeled with Petri games with transits. Contains the packages: petrigames, bddapproach, mtbddapproach. Depends on the repos: libs, framework.
adamtool/synthesizer’s past year of commit activity - framework Public
The general framework for the tool Adam (AdamMC and AdamSYNT) providing, e.g., data structures for automata, circuits, and Petri nets with transits. Contain the packages: tools, petrinetWithTransits. Depends on the repos: libs, examples.
adamtool/framework’s past year of commit activity - synthesisDistrEnv Public
Synthesis algorithms for Petri games with one environment and an arbitrary number of system players. Contains the packages: synthesisDistrEnv. Depends on the repos: libs, framework, synthesizer.
adamtool/synthesisDistrEnv’s past year of commit activity - boundedSynthesis Public
Bounded synthesis algorithms for solving Petri games with transits. Contains the packages: boundedalgorithms. Depends on the repos: libs, framework, synthesizer.
adamtool/boundedSynthesis’s past year of commit activity - ui Public
The common framework for the command-line interface for AdamMC and AdamSYNT. Contains also the protocol for the communication with the command-line server. Contains packages: ui. Depends on repos: libs, framework.
adamtool/ui’s past year of commit activity
