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

Links

• https://homes.cs.aau.dk/~adavid/UDBM/python.html
• https://github.com/UPPAALModelChecker/UDBM
• https://github.com/UPPAALModelChecker/UDBM/wiki
• Last commit date: 28 Nov 2022 (default branch)
• Last commit date: 02 Dec 2022 (last activity)

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: used by UPPAAL
• Contained in the ProVerB22 dataset (paper + artefact)