UPPAAL
UPPAAL Stratego 9 Released #66
yrke
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
The UPPAAL development team is happy to announce the release of UPPAAL Stratego 9 (uppaal-4.1.20-stratego-9).
This release fixed an issue with displaying deadlocks in the abstract simulator and improved reliability of the concrete simulator.
The latest version of UPPAAL stratego can be downloaded from: https://uppaal.org/downloads/
You can see the full changelog at: Stratego Changelog
Please feel free to provide any feedback on this announcement, using the issue tracker or by sending an email to [email protected]
Beta Was this translation helpful? Give feedback.
All reactions