A web interface for the command-line tools AdamMC and AdamSYNT.

• AdamMC is a model checker for asynchronous distributed systems modeled with Petri nets with transits and specifications given in Flow-LTL.
• AdamSYNT is a synthesizer for asynchronous distributed systems modeled with Petri games.

The project and further information are available on GitHub. A deployed version runs here.