Ini adalah aplikasi Windows bernama VeriSiMPL yang rilis terbarunya dapat diunduh sebagai VeriSiMPL_Version3-0.tar.gz. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan aplikasi ini secara online bernama VeriSiMPL dengan OnWorks secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Mulai emulator online OS OnWorks apa pun dari situs web ini, tetapi emulator online Windows yang lebih baik.
- 5. Dari OS Windows OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Unduh aplikasi dan instal.
- 7. Unduh Wine dari repositori perangkat lunak distribusi Linux Anda. Setelah terinstal, Anda kemudian dapat mengklik dua kali aplikasi untuk menjalankannya dengan Wine. Anda juga dapat mencoba PlayOnLinux, antarmuka mewah di atas Wine yang akan membantu Anda menginstal program dan game Windows populer.
Wine adalah cara untuk menjalankan perangkat lunak Windows di Linux, tetapi tidak memerlukan Windows. Wine adalah lapisan kompatibilitas Windows sumber terbuka yang dapat menjalankan program Windows secara langsung di desktop Linux apa pun. Pada dasarnya, Wine mencoba untuk mengimplementasikan kembali Windows dari awal sehingga dapat menjalankan semua aplikasi Windows tersebut tanpa benar-benar membutuhkan Windows.
Tangkapan layar
Ad
VeriSiMPL
DESKRIPSI
Toolbox ini digunakan untuk menghasilkan abstraksi terbatas dari sistem Max-Plus-Linear (MPL) otonom melalui R^n. Abstraksi dicirikan sebagai Sistem Transisi Berlabel keadaan terbatas (LTS). Abstraksi terbatas LTS ditampilkan untuk mensimulasikan atau bisimulasi sistem MPL asli. Model LTS harus diverifikasi terhadap spesifikasi yang diberikan yang dinyatakan sebagai rumus dalam Logika Temporal Linier (LTL) dan Logika Pohon Komputasi (CTL). Kotak alat bermaksud untuk memanfaatkan pemeriksa model NuSMV. Model harus diekspresikan dalam bahasa C++. Prosedur abstraksi berjalan di C++. LTS yang dihasilkan diekspor ke bahasa NuSMV. Dengan demikian, dapat diumpankan, bersama dengan spesifikasi yang diinginkan, ke pemeriksa model NuSMV.
Jika Anda lebih familiar dengan bahasa JAVA, kami sarankan Anda untuk mencoba VeriSiMPL versi 2.0 yang sepenuhnya berbasis JAVA.
Jika Anda lebih familiar dengan bahasa MATLAB, kami sarankan Anda untuk mencoba VeriSiMPL versi 1.4 yang sepenuhnya berbasis MATLAB.
Fitur
- Hasilkan abstraksi LTS keadaan terbatas dari sistem MPL menggunakan struktur data daftar dan pohon
- Hasilkan representasi Affine Sepotong dari sistem MPL
- Verifikasi sistem MPL terhadap formula LTL atau CTL
- Visualisasikan TS di Graphviz (Versi 1.4)
- Ekspor model otonom ke sistem PWA dalam struktur MPT (Versi 1.4)
- Analisis keterjangkauan sistem MPL (Versi 1.4)
- GUI untuk abstraksi dan verifikasi sistem MPL otonom (Versi 1.4)
- GUI untuk jangkauan maju sistem MPL otonom (Versi 1.4)
Para penonton
Sains/Penelitian, Pendidikan, Teknik
Bahasa Pemrograman
MATLAB, Jawa
KATEGORI
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/verisimpl/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.
