यह VeriSiMPL नाम का Linux ऐप है जिसकी नवीनतम रिलीज़ VeriSiMPL_Version3-0.tar.gz के रूप में डाउनलोड की जा सकती है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
VeriSiMPL नाम के इस ऐप को OnWorks के साथ मुफ्त में ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
स्क्रीनशॉट
Ad
VeriSiMPL
वर्णन
इस टूलबॉक्स का उपयोग आर^एन पर स्वायत्त मैक्स-प्लस-लीनियर (एमपीएल) सिस्टम के परिमित सार उत्पन्न करने के लिए किया जाता है। अमूर्तों को परिमित-अवस्था लेबल ट्रांज़िशन सिस्टम (एलटीएस) के रूप में जाना जाता है। एलटीएस परिमित अमूर्त को मूल एमपीएल प्रणाली का अनुकरण या द्विअनुकरण करने के लिए दिखाया गया है। एलटीएस मॉडल को लीनियर टेम्पोरल लॉजिक (एलटीएल) और कंप्यूटेशन ट्री लॉजिक (सीटीएल) में सूत्रों के रूप में व्यक्त दिए गए विनिर्देशों के अनुसार सत्यापित किया जाना है। टूलबॉक्स का इरादा NuSMV मॉडल चेकर का लाभ उठाना है। मॉडल को C++ भाषा में व्यक्त किया जाना है। अमूर्त प्रक्रिया C++ में चलती है। उत्पन्न LTS को NuSMV भाषा में निर्यात किया जाता है। इस प्रकार, इसे रुचि के विनिर्देश के साथ, NuSMV मॉडल चेकर को फीड किया जा सकता है।
यदि आप JAVA भाषा से अधिक परिचित हैं, तो हम आपको VeriSiMPL संस्करण 2.0 आज़माने का सुझाव देते हैं जो पूरी तरह से JAVA पर आधारित है।
यदि आप MATLAB भाषा से अधिक परिचित हैं, तो हम आपको VeriSiMPL संस्करण 1.4 आज़माने का सुझाव देते हैं जो पूरी तरह से MATLAB पर आधारित है।
विशेषताएं
- सूची और ट्री डेटा संरचना का उपयोग करके एमपीएल सिस्टम से परिमित-राज्य एलटीएस अमूर्तता उत्पन्न करें
- एमपीएल प्रणाली से टुकड़ा-वार एफ़िन प्रतिनिधित्व उत्पन्न करें
- एलटीएल या सीटीएल फॉर्मूले के विरुद्ध एमपीएल सिस्टम को सत्यापित करें
- ग्राफ़विज़ में टीएस की कल्पना करें (संस्करण 1.4)
- एमपीटी संरचना में पीडब्ल्यूए प्रणाली में स्वायत्त मॉडल निर्यात करें (संस्करण 1.4)
- एमपीएल सिस्टम का रीचैबिलिटी विश्लेषण (संस्करण 1.4)
- स्वायत्त एमपीएल सिस्टम के अमूर्तन और सत्यापन के लिए जीयूआई (संस्करण 1.4)
- स्वायत्त एमपीएल सिस्टम की आगे पहुंच के लिए जीयूआई (संस्करण 1.4)
दर्शक
विज्ञान/अनुसंधान, शिक्षा, इंजीनियरिंग
प्रोग्रामिंग भाषा
मैटलैब, जावा
श्रेणियाँ
यह एक एप्लिकेशन है जिसे https://sourceforge.net/projects/verisimpl/ से भी प्राप्त किया जा सकता है। हमारे निःशुल्क ऑपरेटिव सिस्टमों में से एक से सबसे आसान तरीके से ऑनलाइन चलाने के लिए इसे ऑनवर्क्स में होस्ट किया गया है।