Adam: Analyzing Distributed Asynchronous Models

Consists of AdamMC and AdamSYNT

Application domain/field

Type of tool

Framework for verification and synthesis with Petri nets

Internals

Uses MCHyper and ABC, Aigertools

Comments

License: GPL v3.0
Framework

Links

Related papers

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

ProVerB specific



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