GitHub repository: Jack0Chan/pyuppaal
Primary language: Python
Created: 2022-05-28T02:37:06Z
Description: A research tool that can simulate, verify or modify UPPAAL models with python. It can also help to analyze counter-examples in .xml format