Programma's van waters.sf.net

Waters - de Waikato Analysis Tool for Events in Reactive Systems.Deze software stelt gebruikers in staat om eindige machinemodellen te maken in een grafische gebruikersinterface, om hun uitvoering te simuleren en om modelco