IDE for the TLA+ tools.
Leidėjo aprašymas (anglų)
Kas yra tlaplus-toolbox?
Programa tlaplus-toolbox yra atvirojo kodo programinė įranga, skirta Windows (kategorija „Mokslas ir matematika“). Be Windows, ji prieinama ir šioms sistemoms: Linux.
Diegimas ir sistemos reikalavimai
Leidėjas siūlo Nešiojamoji versija diegimo failus šioms architektūroms: Bet koks procesorius. Programa veikia be diegimo (nešiojamoji versija).
Privalumai / Trūkumai
Privalumai
- Atvirasis kodas: bet kas gali jį peržiūrėti ir sukompiliuoti
- Nešiojamoji versija: veikia be diegimo
- Taip pat veikia: Linux
Trumpai: tlaplus-toolbox – atvirojo kodo programa, skirta Windows (kategorija „Mokslas ir matematika“), prieinama Bet koks procesorius sistemoms.
Pagrindinės funkcijos
- 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
Ar saugu atsisiųsti programą tlaplus-toolbox?
- Failas atsisiunčiamas iš serverio github.com; patikrinkite, ar tai oficiali leidėjo veidrodinė svetainė
- Atsisiuntimo nuoroda naudoja HTTPS
- Šiam failui maišos reikšmė nepaskelbta
- Nuoroda dar nepatikrinta
- Pirminis kodas viešas
- ExeAtlas diegimo failų nelaiko, neįpakuoja ir nekeičia
Susijusi instrukcija: Kaip patikrinti failo SHA256 maišos reikšmę Windows
Naujausios versijos
Visos versijos (1) ›| Versija | Data | Dydis | Failai |
|---|---|---|---|
| 1.8.0Naujausia | — | Bet koks procesorius ZIP |
Diegimas iš komandų eilutės
Tylusis diegimas ›scoop install extras/tlaplus-toolboxProgramų failai (.exe): tlc.exe, toolbox.exe
Susijusi instrukcija: Kaip naudoti winget: programų diegimas ir naujinimas
Taip pat kitoms sistemoms
flatpak install flathub org.lamport.tla.toolboxInformacija
- Kategorija
- Mokslas ir matematika
- Licencija
- MIT
- Kaina
- Nemokama
- Amžiaus cenzas
- Visiems
- Reikalavimai
- Windows 11 / 10
- Architektūra
- Bet koks procesorius
- Diegimo failas
- Nešiojamoji versija
- Kitos platformos
- Linux
- Versija
- 1.8.0
- Versijų skaičius
- 1
- Svetainė
- lamport.azurewebsites.net
- „Scoop“ paketas
- extras/tlaplus-toolbox
Įvertinimai ir atsiliepimai
Atsiliepimų dar nėra. Galite įvertinti pirmas.
Programos tlaplus-toolbox alternatyvos
Rodyti viską ›-
Atvirasis kodas118 tūkst. ↓ -
Atvirasis kodas126,7 tūkst. ↓ -
Atvirasis kodas46 tūkst. ↓ -
Atvirasis kodas50,3 tūkst. ↓ -
Atvirasis kodas12,2 tūkst. ↓ -
Atvirasis kodas17,7 tūkst. ↓ -
Atvirasis kodas24,6 tūkst. ↓ - Atvirasis kodas28,6 tūkst. ↓
Dažniausi klausimai
Ar programa tlaplus-toolbox nemokama?
Taip. tlaplus-toolbox – atvirojo kodo programa (licencija MIT), kurią galima nemokamai atsisiųsti ir naudoti.
Ar saugu atsisiųsti programą tlaplus-toolbox?
Failas atsisiunčiamas iš domeno github.com; ExeAtlas failo nelaiko ir nekeičia.
Ar tlaplus-toolbox veikia ARM procesoriuose (Windows on Arm)?
Diegimo failas nepriklauso nuo procesoriaus architektūros.
Ar programą tlaplus-toolbox galima naudoti be administratoriaus teisių?
Taip, tai nešiojamoji versija: pakanka išskleisti archyvą ir paleisti programą.
Kokios yra programos tlaplus-toolbox alternatyvos?
Stellarium, KiCad, Quarto, Qalculate! ir JASP. Jos palygintos alternatyvų puslapyje.
