Contact

AdamWEB

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.

 

(Stand: 09.06.2021)