هذا هو تطبيق Linux المسمى VeriSiMPL الذي يمكن تنزيل أحدث إصدار له باسم VeriSiMPL_Version3-0.tar.gz. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى VeriSiMPL مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
SCREENSHOTS
Ad
VeriSiMPL
الوصف
يتم استخدام صندوق الأدوات هذا لإنشاء تجريدات محدودة لأنظمة Max-Plus-Linear (MPL) المستقلة عبر R ^ n. تتميز عمليات التجريد بأنها أنظمة انتقالية ذات حالة محدودة (LTS). تظهر التجريدات المحدودة LTS إما لمحاكاة نظام MPL الأصلي أو تقليده. يجب التحقق من نماذج LTS مقابل المواصفات المحددة المعبر عنها في صيغة الصيغ في المنطق الخطي الزمني (LTL) ومنطق شجرة الحساب (CTL). يعتزم صندوق الأدوات الاستفادة من مدقق نموذج NuSMV. يجب التعبير عن النماذج بلغة C ++. يعمل إجراء التجريد في C ++. يتم تصدير LTS الذي تم إنشاؤه إلى لغة NuSMV. على هذا النحو ، يمكن إطعامه ، إلى جانب مواصفات الاهتمام ، لمدقق طراز NuSMV.
إذا كنت أكثر دراية بلغة JAVA ، نقترح عليك تجربة الإصدار 2.0 من VeriSiMPL الذي يعتمد بالكامل على JAVA.
إذا كنت أكثر دراية بلغة MATLAB ، فنحن نقترح عليك تجربة الإصدار 1.4 من VeriSiMPL الذي يعتمد بالكامل على MATLAB.
المميزات
- إنشاء تجريد LTS محدود الحالة من نظام MPL باستخدام بنية بيانات القائمة والشجرة
- إنشاء التمثيل الجزئي Affine من نظام MPL
- تحقق من نظام MPL مقابل صيغة LTL أو CTL
- تصور TS في Graphviz (الإصدار 1.4)
- تصدير نموذج مستقل إلى نظام PWA في هيكل MPT (الإصدار 1.4)
- تحليل قابلية الوصول لأنظمة MPL (الإصدار 1.4)
- واجهة المستخدم الرسومية للتجريد والتحقق من أنظمة MPL المستقلة (الإصدار 1.4)
- واجهة المستخدم الرسومية لإمكانية الوصول إلى الأمام لأنظمة MPL المستقلة (الإصدار 1.4)
الجمهور
علوم / بحث ، تعليم ، هندسة
لغة البرمجة
ماتلاب ، جافا
الأقسام
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/verisimpl/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
