IDE for the TLA+ tools.
Julkaisijan kuvaus (englanti)
Mikä on tlaplus-toolbox?
tlaplus-toolbox on avoimen lähdekoodin ohjelmisto Windowsille (kategoria: Tiede ja matematiikka). Windowsin lisäksi siitä on versiot seuraaville: Linux.
Asennus ja järjestelmävaatimukset
Julkaisija tarjoaa asennusohjelmat seuraaville: Kaikki suorittimet; tiedostomuodot: Portable. Ohjelma toimii ilman asennusta (portable).
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Portable: toimii ilman asennusta
- Toimii myös: Linux
Lyhyesti: tlaplus-toolbox on avoimen lähdekoodin työkalu kategoriasta Tiede ja matematiikka (Kaikki suorittimet).
Tärkeimmät ominaisuudet
- 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
Onko tlaplus-toolbox-ohjelman lataaminen turvallista?
- Tiedoston jakelee github.com; tarkista, että kyseessä on julkaisijan virallinen peilipalvelin
- Latauslinkki käyttää HTTPS-yhteyttä
- Tälle tiedostolle ei ole julkaistu tiivistettä
- Linkkiä ei ole vielä tarkistettu
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Viimeisimmät versiot
Kaikki versiot (1) ›| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 1.8.0Uusin | — | Kaikki suorittimet ZIP |
Asennus komentoriviltä
Hiljainen asennus ›scoop install extras/tlaplus-toolboxOhjelmatiedostot (.exe): tlc.exe, toolbox.exe
Aiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Saatavilla myös muille järjestelmille
flatpak install flathub org.lamport.tla.toolboxTiedot
- Kategoria
- Tiede ja matematiikka
- Lisenssi
- MIT
- Hinta
- Ilmainen
- Ikäraja
- Sallittu kaikille
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- Kaikki suorittimet
- Asennusohjelma
- Portable
- Muut alustat
- Linux
- Versio
- 1.8.0
- Versioita luettelossa
- 1
- Verkkosivusto
- lamport.azurewebsites.net
- Scoop-paketti
- extras/tlaplus-toolbox
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Vaihtoehtoja tlaplus-toolbox-ohjelmalle
Näytä kaikki ›-
Avoin lähdekoodi118 t. ↓ -
Avoin lähdekoodi126,7 t. ↓ -
Avoin lähdekoodi46 t. ↓ -
Avoin lähdekoodi50,3 t. ↓ -
Avoin lähdekoodi12,2 t. ↓ -
Avoin lähdekoodi17,7 t. ↓ -
Avoin lähdekoodi24,6 t. ↓ - Avoin lähdekoodi28,6 t. ↓
Usein kysytyt kysymykset
Onko tlaplus-toolbox ilmainen?
Kyllä. tlaplus-toolbox on avoimen lähdekoodin ohjelmisto, lisenssi MIT.
Onko tlaplus-toolbox-ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta github.com; ExeAtlas ei säilytä eikä muuta tiedostoa.
Toimiiko tlaplus-toolbox ARM-koneissa (Windows on Arm)?
Asennusohjelma on arkkitehtuurista riippumaton.
Voiko tlaplus-toolbox-ohjelmaa käyttää ilman järjestelmänvalvojan oikeuksia?
Kyllä, ohjelma on portable: pura ja käynnistä.
Mitä vaihtoehtoja tlaplus-toolbox-ohjelmalle on?
Stellarium, KiCad, Quarto, Qalculate! ja JASP. Vaihtoehtosivu vertailee niitä.
