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.
- 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.3.tar.gz
(48.9 kB
view hashes)
Built Distribution
uppaal_py-0.0.3-py3-none-any.whl
(119.6 kB
view hashes)
Close
Hashes for uppaal_py-0.0.3-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e595d9a6c2a7b4ef6d72545227a1d608c6996cc50ea8afbbed841e715bc7c01e |
|
MD5 | 4d4171ec288f248cd80faa3b1a0fac92 |
|
BLAKE2b-256 | d9c9164fac0c7e1f874abf42e2351fdf2f9d780ebfd6092dd5d7ebf5e6ac161d |