A research tool that can simulate, verify or modify UPPAAL models with python. It can also help to analyze counter-examples in .xml format
Project description
Currently, it is under development. APIs are changing.
Introduction
pyUPPAAL is a research tool that can simulate, verify and modify UPPAAL models with python. It can also help to analyze counter-examples in .xml format. Note that the implementations are based on verifyta and the built-in xml package. With this package, you can do
-
run any UPPAAL commands with multi-process that is valid with verifyta.
-
modify a .xml model, including templates, declarations, system declarations, and queries. It has a powerful method find_all_patterns that can get all different untimed traces that can explain current inputs-obs.
-
analyze a counter-example file, and return input-observation-based analysis.
-
analyze the SMC simulation results.
Quick Start
Please check tmp doc-yuque.
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.