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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow WATERS

WATERS Web Site

Other Useful Business Software

Open source. Easy to use. Proven. Complete.

End to end big data that enables you to spend less time formatting data and more time analyzing it.

Discover HPCC Systems - the truly open source big data solution that allows you to quickly process, analyze and understand large data sets, even data stored in massive, mixed-schema data lakes. Designed by data scientists, HPCC systems is a complete integrated solution from data ingestion and data processing to data delivery. The free online introductory courses and a robust developer community allow you to get started quickly.

Try For FREE Today!

Rate This Project

User Reviews

Be the first to post a review of WATERS!

Additional Project Details

Languages

English

Intended Audience

Education, Developers

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

Similar Business Software

Innoslate

SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface. Innoslate’s full...

See Software
Highcharts

Highcharts is a JavaScript charting library that allows developers to create interactive and visually appealing charts for web applications. It offers a wide range of chart types, including line charts, bar charts, pie charts, scatter plots, and more. It also supports different types of data,...

See Software
Telepresence

Telepresence streamlines your local development process, enabling immediate feedback. You can launch your local environment on your laptop, equipped with your preferred tools, while Telepresence seamlessly connects them to the microservices and test databases they rely on. It simplifies and...

See Software

Report inappropriate content