IDE for the TLA+ tools.
Deskripsi dari penerbit (Inggris)
Apa itu tlaplus-toolbox?
tlaplus-toolbox merupakan software open source untuk Windows yang termasuk kategori Sains & matematika. Selain Windows, program ini juga tersedia untuk Linux.
Instalasi dan persyaratan sistem
Penerbit menyediakan installer Portabel untuk sistem Semua prosesor. Program ini bisa dijalankan tanpa instalasi (portabel).
Kelebihan / Kekurangan
Kelebihan
- Open source: kodenya bisa diperiksa dan dikompilasi siapa saja
- Portabel: berjalan tanpa instalasi
- Juga berjalan di Linux
Singkatnya: tlaplus-toolbox adalah aplikasi kategori Sains & matematika yang open source untuk PC Semua prosesor.
Fitur utama
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
Apakah tlaplus-toolbox aman diunduh?
- File disediakan oleh github.com; pastikan itu mirror resmi dari penerbit
- Tautan download menggunakan HTTPS
- Tidak ada hash yang dipublikasikan untuk file ini
- Tautan belum dicek
- Kode sumbernya terbuka untuk umum
- ExeAtlas tidak menyimpan, membungkus, atau mengubah installer
Panduan terkait: Cara cek hash SHA256 file di Windows
Rilis terakhir
Semua 1 versi ›| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 1.8.0Terbaru | — | Semua prosesor ZIP |
Instalasi lewat command line
Instalasi senyap ›scoop install extras/tlaplus-toolboxFile program (.exe): tlc.exe, toolbox.exe
Panduan terkait: Cara pakai winget: instal dan update aplikasi
Juga tersedia untuk sistem lain
flatpak install flathub org.lamport.tla.toolboxInformasi
- Kategori
- Sains & matematika
- Lisensi
- MIT
- Harga
- Gratis
- Rating konten
- Semua umur
- Persyaratan
- Windows 11 / 10
- Arsitektur
- Semua prosesor
- Installer
- Portabel
- Platform lain
- Linux
- Versi
- 1.8.0
- Versi tercatat
- 1
- Situs web
- lamport.azurewebsites.net
- Paket Scoop
- extras/tlaplus-toolbox
Rating dan ulasan
Belum ada ulasan. Jadilah yang pertama memberi rating.
Alternatif tlaplus-toolbox
Lihat semua ›-
Open source118 rb ↓ -
Open source126,7 rb ↓ -
Open source46 rb ↓ -
Open source50,3 rb ↓ -
Open source12,2 rb ↓ -
Open source17,7 rb ↓ -
Open source24,6 rb ↓ - Open source28,6 rb ↓
Pertanyaan yang sering diajukan
Apakah tlaplus-toolbox gratis?
Ya. tlaplus-toolbox adalah software open source berlisensi MIT.
Apakah tlaplus-toolbox aman diunduh?
File download berasal dari github.com; ExeAtlas tidak menyimpan atau mengubah file tersebut.
Apakah tlaplus-toolbox bisa berjalan di prosesor ARM (Windows on Arm)?
Installer-nya tidak terikat pada arsitektur tertentu.
Apakah tlaplus-toolbox bisa dipakai tanpa hak administrator?
Ya, program ini portabel: cukup ekstrak lalu jalankan.
Apa saja alternatif tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! dan JASP. Halaman alternatif membandingkan semuanya.
