Program
Verification
Book

pyuppaal

Python library for manipulating UPPAAL XML files

Type of tool

Library

Internals

Uses UPPAAL

Links

Project page: https://github.com/bencaldwell/pyuppaal
Old project page: https://launchpad.net/pyuppaal
Last commit date: 08 Sep 2015 (default branch)
Last commit date: 08 Sep 2015 (last activity)

Last publication date

8 September 2015

ProVerB specific

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

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