pyuppaal (pypi): A research tool that can simulate, verify or modify UPPAAL models with python. It can also help to analyze counter-examples in .xml format
Keywords: python3|uppaal