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

Last commit date

18 November 2021

Related papers

https://doi.org/10.1007/978-3-319-21690-4_25 (CAV '15)

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.