जल - प्रतिक्रियाशील प्रणालियों में घटनाओं के लिए वाइकाटो विश्लेषण उपकरण। यह सॉफ्टवेयर उपयोगकर्ताओं को एक ग्राफिकल यूजर इंटरफेस में परिमित-राज्य मशीन मॉडल बनाने, उनके निष्पादन का अनुकरण करने और उन पर मॉडल चेकिंग एल्गोरिदम लागू करने में सक्षम बनाएगा।
संस्करण इतिहास
- विवरण N/A पर तैनात 2011-08-12
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-08-12
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: waters.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows