VeriSiMPL എന്ന് പേരിട്ടിരിക്കുന്ന Linux ആപ്പാണിത്, ഇതിന്റെ ഏറ്റവും പുതിയ പതിപ്പ് 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 OS-ൽ നിന്ന്, നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമത്തോടുകൂടിയ ഞങ്ങളുടെ ഫയൽ മാനേജർ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിലേക്ക് പോകുക.
- 6. ആപ്ലിക്കേഷൻ ഡൌൺലോഡ് ചെയ്യുക, അത് ഇൻസ്റ്റാൾ ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
സ്ക്രീൻഷോട്ടുകൾ:
വെരിസിഎംപിഎൽ
വിവരണം:
ഈ ടൂൾബോക്സ് R^n-നേക്കാൾ സ്വയംഭരണാധികാരമുള്ള മാക്സ്-പ്ലസ്-ലീനിയർ (MPL) സിസ്റ്റങ്ങളുടെ പരിമിതമായ സംഗ്രഹങ്ങൾ സൃഷ്ടിക്കാൻ ഉപയോഗിക്കുന്നു. സംഗ്രഹങ്ങളെ ഫിനൈറ്റ്-സ്റ്റേറ്റ് ലേബൽഡ് ട്രാൻസിഷൻ സിസ്റ്റംസ് (LTS) ആയി തരംതിരിച്ചിരിക്കുന്നു. LTS പരിമിതമായ അമൂർത്തങ്ങൾ യഥാർത്ഥ MPL സിസ്റ്റത്തെ അനുകരിക്കാനോ ബൈസിമുലേറ്റ് ചെയ്യാനോ കാണിക്കുന്നു. LTS മോഡലുകൾ ലീനിയർ ടെമ്പറൽ ലോജിക് (LTL), കമ്പ്യൂട്ടേഷൻ ട്രീ ലോജിക് (CTL) എന്നിവയിലെ സൂത്രവാക്യങ്ങളായി പ്രകടമാക്കപ്പെട്ടിരിക്കുന്ന സ്പെസിഫിക്കേഷനുകൾക്കെതിരെ പരിശോധിക്കേണ്ടതാണ്. ടൂൾബോക്സ് NuSMV മോഡൽ ചെക്കർ പ്രയോജനപ്പെടുത്താൻ ഉദ്ദേശിക്കുന്നു. മോഡലുകൾ സി++ ഭാഷയിൽ പ്രകടിപ്പിക്കണം. അമൂർത്തമായ നടപടിക്രമം C++ ൽ പ്രവർത്തിക്കുന്നു. സൃഷ്ടിച്ച LTS, NuSMV ഭാഷയിലേക്ക് കയറ്റുമതി ചെയ്യുന്നു. അതുപോലെ, താൽപ്പര്യത്തിന്റെ ഒരു സ്പെസിഫിക്കേഷൻ സഹിതം ഇത് NuSMV മോഡൽ ചെക്കറിന് നൽകാം.
നിങ്ങൾക്ക് JAVA ഭാഷ കൂടുതൽ പരിചിതമാണെങ്കിൽ, പൂർണ്ണമായും JAVA അടിസ്ഥാനമാക്കിയുള്ള VeriSiMPL പതിപ്പ് 2.0 പരീക്ഷിക്കാൻ ഞങ്ങൾ നിർദ്ദേശിക്കുന്നു.
നിങ്ങൾക്ക് MATLAB ഭാഷ കൂടുതൽ പരിചിതമാണെങ്കിൽ, പൂർണ്ണമായും MATLAB-നെ അടിസ്ഥാനമാക്കിയുള്ള VeriSiMPL പതിപ്പ് 1.4 പരീക്ഷിക്കാൻ ഞങ്ങൾ നിർദ്ദേശിക്കുന്നു.
സവിശേഷതകൾ
- ലിസ്റ്റും ട്രീ ഡാറ്റാ ഘടനയും ഉപയോഗിച്ച് ഒരു MPL സിസ്റ്റത്തിൽ നിന്ന് ഫിനിറ്റ്-സ്റ്റേറ്റ് LTS സംഗ്രഹം സൃഷ്ടിക്കുക
- ഒരു MPL സിസ്റ്റത്തിൽ നിന്ന് കഷണങ്ങൾ തിരിച്ചുള്ള അഫൈൻ പ്രാതിനിധ്യം സൃഷ്ടിക്കുക
- ഒരു LTL അല്ലെങ്കിൽ CTL ഫോർമുലയ്‌ക്കെതിരായ ഒരു MPL സിസ്റ്റം പരിശോധിച്ചുറപ്പിക്കുക
- ഗ്രാഫ്വിസിൽ ടിഎസ് ദൃശ്യവൽക്കരിക്കുക (പതിപ്പ് 1.4)
- MPT ഘടനയിൽ PWA സിസ്റ്റത്തിലേക്ക് സ്വയംഭരണ മോഡൽ കയറ്റുമതി ചെയ്യുക (പതിപ്പ് 1.4)
- എം‌പി‌എൽ സിസ്റ്റങ്ങളുടെ റീച്ചബിലിറ്റി വിശകലനം (പതിപ്പ് 1.4)
- സ്വയംഭരണ MPL സിസ്റ്റങ്ങളുടെ അമൂർത്തീകരണത്തിനും സ്ഥിരീകരണത്തിനുമുള്ള GUI (പതിപ്പ് 1.4)
- സ്വയംഭരണ MPL സിസ്റ്റങ്ങളുടെ ഫോർവേഡ് റീച്ചബിലിറ്റിക്കുള്ള GUI (പതിപ്പ് 1.4)
പ്രേക്ഷകർ
ശാസ്ത്രം/ഗവേഷണം, വിദ്യാഭ്യാസം, എഞ്ചിനീയറിംഗ്
പ്രോഗ്രാമിംഗ് ഭാഷ
മാറ്റ്‌ലാബ്, ജാവ
Categories
ഇത് https://sourceforge.net/projects/verisimpl/ എന്നതിൽ നിന്നും ലഭിക്കാവുന്ന ഒരു ആപ്ലിക്കേഷനാണ്. ഞങ്ങളുടെ സൗജന്യ ഓപ്പറേറ്റീവ് സിസ്റ്റങ്ങളിലൊന്നിൽ നിന്ന് ഏറ്റവും എളുപ്പമുള്ള രീതിയിൽ ഓൺലൈനിൽ പ്രവർത്തിപ്പിക്കുന്നതിനായി ഇത് OnWorks-ൽ ഹോസ്റ്റ് ചെയ്‌തിരിക്കുന്നു.