IDE for the TLA+ tools.
제공사 설명 (영어)
tlaplus-toolbox 소개
이 프로그램은 과학 및 수학 카테고리에 속하는 오픈 소스 Windows 소프트웨어입니다. Windows 외에 Linux에서도 사용할 수 있습니다.
설치 및 시스템 요구 사항
제공사는 모든 CPU Windows용 포터블 설치 파일을 배포합니다. 설치하지 않고 바로 실행할 수 있습니다(포터블).
장점 / 단점
장점
- 오픈 소스: 누구나 코드를 확인하고 빌드할 수 있음
- 포터블: 설치 없이 실행
- Linux에서도 실행 가능
요약: tlaplus-toolbox 프로그램은 모든 CPU PC에서 쓸 수 있는 오픈 소스 과학 및 수학 도구입니다.
주요 기능
- 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
tlaplus-toolbox 다운로드는 안전한가요?
- 파일은 github.com에서 제공됩니다. 제공사의 공식 미러인지 확인하십시오
- 다운로드 링크는 HTTPS를 사용합니다
- 이 파일의 해시는 공개되지 않았습니다
- 링크를 아직 확인하지 않았습니다
- 소스 코드가 공개되어 있습니다
- ExeAtlas는 설치 파일을 호스팅하거나 감싸거나 변경하지 않습니다
관련 가이드: Windows에서 SHA256 해시 확인하는 법
최근 버전
전체 1개 버전 ›| 버전 | 날짜 | 크기 | 파일 |
|---|---|---|---|
| 1.8.0최신 | — | 모든 CPU ZIP |
명령줄로 설치
무인 설치 ›PowerShell
scoop
scoop install extras/tlaplus-toolbox프로그램 파일(.exe): tlc.exe, toolbox.exe
관련 가이드: winget 사용법: 프로그램 설치와 업데이트
다른 운영체제용
Linux(Flathub)
flatpak install flathub org.lamport.tla.toolbox정보
- 카테고리
- 과학 및 수학
- 라이선스
- MIT
- 가격
- 무료
- 이용 등급
- 전체 이용가
- 요구 사항
- Windows 11 / 10
- 아키텍처
- 모든 CPU
- 설치 파일
- 포터블
- 다른 플랫폼
- Linux
- 버전
- 1.8.0
- 등록된 버전
- 1
- 공식 웹사이트
- lamport.azurewebsites.net
- Scoop 패키지
- extras/tlaplus-toolbox
평점 및 리뷰
–
평가 0개
50
40
30
20
10
아직 리뷰가 없습니다. 처음으로 평가해 보십시오.
tlaplus-toolbox 대체 프로그램
전체 보기 ›-
오픈 소스11.8만 ↓ -
오픈 소스12.7만 ↓ -
오픈 소스4.6만 ↓ -
오픈 소스5만 ↓ -
오픈 소스1.2만 ↓ -
오픈 소스1.8만 ↓ -
오픈 소스2.5만 ↓ - 오픈 소스2.9만 ↓
자주 묻는 질문
tlaplus-toolbox 무료인가요?
네. 이 프로그램은 오픈 소스 소프트웨어입니다(MIT 라이선스).
tlaplus-toolbox 다운로드는 안전한가요?
파일은 github.com에서 내려받습니다. ExeAtlas는 파일을 호스팅하거나 변경하지 않습니다.
tlaplus-toolbox ARM(Windows on Arm)에서 실행되나요?
설치 파일이 아키텍처에 관계없이 동작합니다.
tlaplus-toolbox 관리자 권한 없이 사용할 수 있나요?
네. 포터블 버전이라 압축을 풀고 바로 실행하면 됩니다.
tlaplus-toolbox 대체 프로그램은?
Stellarium, KiCad, Quarto, Qalculate!, JASP 등이 있습니다. 대체 프로그램 페이지에서 비교해 볼 수 있습니다.
