IDE for the TLA+ tools.
Beskrywing deur die uitgewer (Engels)
Wat is tlaplus-toolbox?
tlaplus-toolbox is Windows-sagteware met oop bronkode (kategorie: Wetenskap en wiskunde). Behalwe vir Windows is dit ook beskikbaar vir Linux.
Installasie en vereistes
Die uitgewer verskaf installeerders vir Enige verwerker Windows (Draagbaar). Dit werk sonder installasie (draagbaar).
Voordele / Nadele
Voordele
- Oopbron: enigeen kan die kode nagaan en self bou
- Draagbaar: werk sonder installasie
- Werk ook op Linux
Kortliks: tlaplus-toolbox is ’n oopbronprogram in die kategorie Wetenskap en wiskunde vir Enige verwerker rekenaars.
Belangrikste kenmerke
- 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
Is dit veilig om tlaplus-toolbox af te laai?
- Die lêer word bedien deur github.com; maak seker dit is die uitgewer se amptelike spieëlwerf
- Die aflaaiskakel gebruik HTTPS
- Geen hashwaarde is vir hierdie lêer gepubliseer nie
- Die skakel is nog nie nagegaan nie
- Die bronkode is openbaar
- ExeAtlas huisves, omvou of verander geen installeerders nie
Verwante gids: Hoe om ’n lêer se SHA256-hashwaarde op Windows na te gaan
Onlangse weergawes
Al 1 weergawes ›| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 1.8.0Nuutste | — | Enige verwerker ZIP |
Installeer vanaf die opdragreël
Stil installasie ›scoop install extras/tlaplus-toolboxProgramlêers (.exe): tlc.exe, toolbox.exe
Verwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Ook vir ander stelsels
flatpak install flathub org.lamport.tla.toolboxInligting
- Kategorie
- Wetenskap en wiskunde
- Lisensie
- MIT
- Prys
- Gratis
- Inhoudgradering
- Alle ouderdomme
- Vereis
- Windows 11 / 10
- Argitektuur
- Enige verwerker
- Installeerder
- Draagbaar
- Ander platforms
- Linux
- Weergawe
- 1.8.0
- Weergawes gelys
- 1
- Webwerf
- lamport.azurewebsites.net
- Scoop-pakket
- extras/tlaplus-toolbox
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Alternatiewe vir tlaplus-toolbox
Sien alles ›-
Oopbron118 k ↓ -
Oopbron126,7 k ↓ -
Oopbron46 k ↓ -
Oopbron50,3 k ↓ -
Oopbron12,2 k ↓ -
Oopbron17,7 k ↓ -
Oopbron24,6 k ↓ - Oopbron28,6 k ↓
Algemene vrae
Is tlaplus-toolbox gratis?
Ja. tlaplus-toolbox is oopbronsagteware onder die MIT-lisensie.
Is dit veilig om tlaplus-toolbox af te laai?
Die aflaai kom van github.com; ExeAtlas huisves of verander nie die lêer nie.
Werk tlaplus-toolbox op ARM (Windows on Arm)?
Die installeerder is argitektuur-neutraal.
Kan tlaplus-toolbox sonder administrateurregte gebruik word?
Ja, dit is draagbaar: pak dit uit en laat dit loop.
Wat is alternatiewe vir tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! en JASP. Die bladsy met alternatiewe vergelyk hulle.
