द्वारा कार्यक्रम waters.sf.net

जल - प्रतिक्रियाशील प्रणालियों में घटनाओं के लिए वाइकाटो विश्लेषण उपकरण।यह सॉफ्टवेयर उपयोगकर्ताओं को एक ग्राफिकल यूजर इंटरफेस में परिमित-राज्य मशीन मॉडल बनाने, उनके निष्पादन का अनुकरण करने और उन पर मॉडल चेकिंग एल्गोरिदम लाग