এটি VeriSiMPL নামের উইন্ডোজ অ্যাপ যার সর্বশেষ প্রকাশ VeriSiMPL_Version3-0.tar.gz হিসাবে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
অনলাইনে ডাউনলোড করুন এবং চালান VeriSiMPL নামের এই অ্যাপটি OnWorks সহ বিনামূল্যে।
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 1. আপনার পিসিতে এই অ্যাপ্লিকেশনটি ডাউনলোড করুন৷
- 2. আমাদের ফাইল ম্যানেজারে প্রবেশ করুন https://www.onworks.net/myfiles.php?username=XXXXX আপনি যে ইউজারনেম চান।
- 3. এই ধরনের ফাইল ম্যানেজারে এই অ্যাপ্লিকেশনটি আপলোড করুন।
- 4. এই ওয়েবসাইট থেকে যেকোনো OS OnWorks অনলাইন এমুলেটর শুরু করুন, তবে আরও ভালো উইন্ডোজ অনলাইন এমুলেটর।
- 5. OnWorks Windows OS থেকে আপনি এইমাত্র শুরু করেছেন, আমাদের ফাইল ম্যানেজারে যান https://www.onworks.net/myfiles.php?username=XXXXX আপনার পছন্দের ব্যবহারকারীর নাম সহ।
- 6. অ্যাপ্লিকেশনটি ডাউনলোড করুন এবং এটি ইনস্টল করুন।
- 7. আপনার লিনাক্স ডিস্ট্রিবিউশন সফ্টওয়্যার সংগ্রহস্থল থেকে ওয়াইন ডাউনলোড করুন। একবার ইনস্টল হয়ে গেলে, আপনি ওয়াইন দিয়ে চালানোর জন্য অ্যাপটিতে ডাবল-ক্লিক করতে পারেন। এছাড়াও আপনি PlayOnLinux ব্যবহার করে দেখতে পারেন, ওয়াইনের উপর একটি অভিনব ইন্টারফেস যা আপনাকে জনপ্রিয় উইন্ডোজ প্রোগ্রাম এবং গেম ইনস্টল করতে সাহায্য করবে।
ওয়াইন লিনাক্সে উইন্ডোজ সফ্টওয়্যার চালানোর একটি উপায়, কিন্তু কোন উইন্ডোজ প্রয়োজন নেই। ওয়াইন হল একটি ওপেন সোর্স উইন্ডোজ সামঞ্জস্যপূর্ণ স্তর যা সরাসরি যেকোনো লিনাক্স ডেস্কটপে উইন্ডোজ প্রোগ্রাম চালাতে পারে। মূলত, ওয়াইন স্ক্র্যাচ থেকে পর্যাপ্ত উইন্ডোজ পুনরায় প্রয়োগ করার চেষ্টা করছে যাতে এটি আসলে উইন্ডোজের প্রয়োজন ছাড়াই সেই সমস্ত উইন্ডোজ অ্যাপ্লিকেশন চালাতে পারে।
স্ক্রীনশটগুলি
Ad
VeriSiMPL
বর্ণনাঃ
এই টুলবক্সটি R^n এর উপরে স্বায়ত্তশাসিত ম্যাক্স-প্লাস-লিনিয়ার (এমপিএল) সিস্টেমের সীমাবদ্ধ বিমূর্ততা তৈরি করতে ব্যবহৃত হয়। বিমূর্ততাগুলিকে সীমাবদ্ধ-রাষ্ট্র লেবেলযুক্ত ট্রানজিশন সিস্টেম (LTS) হিসাবে চিহ্নিত করা হয়। LTS সসীম বিমূর্ততাগুলিকে হয় অনুকরণ করতে বা মূল MPL সিস্টেমকে দ্বিমুখী করতে দেখানো হয়। LTS মডেলগুলি লিনিয়ার টেম্পোরাল লজিক (LTL) এবং কম্পিউটেশন ট্রি লজিক (CTL)-এ সূত্র হিসাবে প্রকাশিত প্রদত্ত স্পেসিফিকেশনগুলির বিরুদ্ধে যাচাই করতে হবে। টুলবক্স NuSMV মডেল পরীক্ষকের সুবিধা নিতে চায়। মডেলগুলিকে C++ ভাষায় প্রকাশ করতে হবে। বিমূর্তকরণ পদ্ধতি C++ এ চলে। জেনারেট করা LTS NuSMV ভাষায় রপ্তানি করা হয়। যেমন, NuSMV মডেল পরীক্ষককে আগ্রহের স্পেসিফিকেশন সহ এটি খাওয়ানো যেতে পারে।
আপনি যদি JAVA ভাষার সাথে আরও বেশি পরিচিত হন তবে আমরা আপনাকে VeriSiMPL সংস্করণ 2.0 ব্যবহার করার পরামর্শ দিই যা সম্পূর্ণরূপে JAVA-এর উপর ভিত্তি করে।
আপনি যদি MATLAB ভাষার সাথে আরও বেশি পরিচিত হন তবে আমরা আপনাকে VeriSiMPL সংস্করণ 1.4 চেষ্টা করার পরামর্শ দিই যা সম্পূর্ণরূপে MATLAB-এর উপর ভিত্তি করে।
বৈশিষ্ট্য
- তালিকা এবং ট্রি ডেটা স্ট্রাকচার ব্যবহার করে একটি MPL সিস্টেম থেকে সসীম-স্টেট LTS বিমূর্ততা তৈরি করুন
- একটি MPL সিস্টেম থেকে পিস-ভিত্তিক Affine প্রতিনিধিত্ব তৈরি করুন
- একটি LTL বা CTL সূত্রের বিপরীতে একটি MPL সিস্টেম যাচাই করুন
- গ্রাফভিজে টিএসকে কল্পনা করুন (সংস্করণ 1.4)
- MPT কাঠামোতে PWA সিস্টেমে স্বায়ত্তশাসিত মডেল রপ্তানি করুন (সংস্করণ 1.4)
- MPL সিস্টেমের নাগালযোগ্যতা বিশ্লেষণ (সংস্করণ 1.4)
- স্বায়ত্তশাসিত MPL সিস্টেমের বিমূর্তকরণ এবং যাচাইয়ের জন্য GUI (সংস্করণ 1.4)
- স্বায়ত্তশাসিত MPL সিস্টেমের (সংস্করণ 1.4) এগিয়ে যাওয়ার জন্য GUI
পাঠকবর্গ
বিজ্ঞান/গবেষণা, শিক্ষা, প্রকৌশল
প্রোগ্রামিং ভাষা
ম্যাটল্যাব, জাভা
বিভাগ
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/verisimpl/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।
