Skip to main content

UPPAAL wrapper for Python.

Project description


Python library for reading, writing, analyzing, and modifying UPPAAL timed automata files. Works with Python >= 3.8.


uppaal-py is a work-in-progress library. For bugs, missing features or documentation please create an issue or send me an email. API is subject to change.



Via pip:

pip install uppaal-py




  • Reading and writing UPPAAL files.
  • LP based path realizability analysis.
  • Finding set of furthest reachable locations with respect to a set of target (unsafe) locations.
  • Working with variables of type int and a subset of expressions involving ints for guards, invariants, and updates during transitions allowed in UPPAAL in addition to clocks during computations.


  • Methods for calling UPPAAL/verifyta.
  • Migrate to libutap for parsing files.
  • Parameter synthesis for safety property.
  • lxml type annotations and type annotations for the remaining functions.
  • Auto-generated documentation.


  • Analysis involving network of TA — product of two or more TA can be implemented in the future, though.
  • Symbolic model checking, UPPAAL does that.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

uppaal-py-0.0.4.tar.gz (50.2 kB view hashes)

Uploaded Source

Built Distribution

uppaal_py-0.0.4-py3-none-any.whl (120.9 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page