PV0 UDBM (UPPAAL DBM Library)library to manipulate difference bounded matrices in UPPAAL

Library to manipulate DBMs (difference bounded matrices) in UPPAAL

Application domain/field

Difference Bound Matrix
Automaton Library

Links

Last commit date

21 April 2022

ProVerB specific

View/edit source (Markdown)



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