WATERS

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 3.0/5 - ‎1 ‎वोट

करीबन WATERS

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