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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow WATERS

WATERS Web Site

Other Useful Business Software
GoAnywhere Managed File Transfer (MFT) Icon
GoAnywhere Managed File Transfer (MFT)

Secure and simplify your file transfers

GoAnywhere MFT provides secure managed file transfer for enterprises. Deployable on-premise, in the cloud, or in hybrid environments, GoAnywhere MFT software enables organizations to exchange data among employees, customers, and trading partners, as well as between systems, securely. GoAnywhere MFT was a recipient of the Cybersecurity Excellence Award for Secure File Transfer.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of WATERS!

Additional Project Details

Languages

English

Intended Audience

Developers, Education

User Interface

Java Swing

Programming Language

C++, Java

Related Categories

C++ UML Tool, C++ Data Visualization Software, Java UML Tool, Java Data Visualization Software

Registered

2005-09-15