हम नियमों/संपत्तियों की जांच करने के लिए PLTLs औपचारिकता के आधार पर जैविक मार्ग मॉडल के लिए एक सांख्यिकीय ऑनलाइन मॉडल चेकर, MIRACH विकसित कर रहे हैं । मिराच वर्तमान में सीएसएमएल या एसबीएमएल में लिखे गए पाथवे मॉडल की जांच कर सकता है।
संस्करण इतिहास
- विवरण files पर तैनात 2010-06-22
कई सुधार और अपडेट - विवरण N/A पर तैनात 2010-06-22
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: mirach.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows