WATERS
Description
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.
Categories
License
Update Notifications
User Reviews
Be the first to post a review of WATERS!