![](/statics/img/blank.png)
WATERS
License: Free File size: N/A
Users Rating: 3.0/5 - 1 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
ABOUT WATERS
Waters - the Waikato Analysis Tool for Events in Reactive Systems. This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.