UPPAAL wrapper for Python.
Project description
uppaal-py
Python library for reading, writing, analyzing, and modifying UPPAAL timed automata files. Works with Python >= 3.8.
Disclaimer
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.
Dependencies
Installation
Via pip:
pip install uppaal-py
License
Features
- 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 involvingints
for guards, invariants, and updates during transitions allowed in UPPAAL in addition to clocks during computations.
TODO:
- 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.
Non-features
- 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
Release history Release notifications | RSS feed
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)
Built Distribution
uppaal_py-0.0.4-py3-none-any.whl
(120.9 kB
view hashes)
Close
Hashes for uppaal_py-0.0.4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 08d27b9d3c86b33027d469e5c5cbc6ac3c0299ba9ba25a9c0cb9269b297181bf |
|
MD5 | 1585199e74d9a033ec55d9a249b945c3 |
|
BLAKE2b-256 | cd29f4c7036edb26f93ec8a638e8fe05af403ec83def01f0cd97ac89bf5d7ae2 |