Program
Verification
Book

Adam: Analyzing Distributed Asynchronous Models

Consists of AdamMC and AdamSYNT

Application domain/field

Distributed systems
Petri nets
Petri games
Asynchronous distributed systems
Concurrency
Reactive synthesis

Type of tool

Framework for verification and synthesis with Petri nets

Internals

Uses MCHyper and ABC, Aigertools

Comments

License: GPL v3.0

Links

Github group/project: https://github.com/adamtool/
Repository: https://github.com/adamtool/adam
- Last commit date: 04 May 2022 (default branch)
- Last commit date: 04 May 2022 (last activity)

Related papers

Adam: Causality-Based Synthesis of Distributed Systems (CAV '15)

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.