MIRACH

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

करीबन MIRACH

हम नियमों/संपत्तियों की जांच करने के लिए PLTLs औपचारिकता के आधार पर जैविक मार्ग मॉडल के लिए एक सांख्यिकीय ऑनलाइन मॉडल चेकर, MIRACH विकसित कर रहे हैं । मिराच वर्तमान में सीएसएमएल या एसबीएमएल में लिखे गए पाथवे मॉडल की जांच कर सकता है।