Submit Software
  1. Home
  2. Windows
  3. Other
  4. WATERS

WATERS

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

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.

VERSION HISTORY

  • Version N/A posted on 2011-08-12
    Several fixes and updates
  • Version N/A posted on 2011-08-12

Program Details

Related Programs

  • XML Template Processor Free

    XML-based ISO standards for documents (OOXML, ODF, XHTML ...) have facilitated the task of report generation. The JAVA library XTP ( XML Template Processor ) fills report templates (created by designers) with raw data (in XML

  • Rule MANager for Snort Free

    Rule MANagaer for Snort A PHP addon for snort to manage the rulesets on multiple sensors from a central Snort MySQL db. Main Features: Ruleset merging by group from snort CVS. Automatic sensor update

  • GraphStream Free

    A Java library and set of tools to quickly and easily manipulate graphs (set of nodes and edges) and dynamic graphs. The principal trait of this library is its ability to manage (create, edit, layout, display) continuously ev

  • Cut Order Plan Free

    Cut-Order Plan is a tool used in garment industry for making cut plan.Features:-*Right now it handles single fabric at a time.*Works for minimum marker possibilities.*Option to add contingency and end-bits.*Creates marker wit

  • Japano Webapplication Toolkit Free

    Japano is a java-servlet based webapplication toolkit and engine. It offers easy website logic and HTML form creation and offers integration of dynamic javascript updates ( AJAX). A sample webapp makes it easy to start develo

  • Reboot Control Widget Free Trial

    Reboot Widget***ROOT ACCESS NEEDED***This Widget will allow you to reboot any device including Features:RebootHot BootReboot to RecoveryReboot to BootloaderPower OffWipe DeviceDo not move to SD card or it will disappear.**Slo

  • OpenWiz Free

    OpenWiz is a project assist the development of open source software for the GamePark Holdings Wiz handheld machine. We will maintain public access to the kernel sources as well as providing alternate firmwares, development to

  • JCortex (Neural Networks Framework) Free

    JCortex is a complete solution that allows software developers create, educate and use Artificial Neural Networks in Java projects. Splits in two elements: JCortex Framework, an ANN Java framework; and JCortexBuilder, its gra

  • QPythonShell Free

    A Python Shell has been constructed from Qt, QScintilla and the Python C API directly, which features syntax highlighting and simple code completion via a Qt GUI. It is hoped that a Qt Widget can be constructed from it eventu

  • xacc.ide Free

    xacc.ide is a opensource IDE aimed at mainly .NET development. It has a code editor written in 100% C# code, which is faster than most commercial offerings.