IDE for the TLA+ tools.
คำอธิบายจากผู้เผยแพร่ (อังกฤษ)
tlaplus-toolbox คือโปรแกรมอะไร
tlaplus-toolbox เป็นซอฟต์แวร์โอเพนซอร์สบน Windows จัดอยู่ในหมวด วิทยาศาสตร์และคณิตศาสตร์ นอกจาก Windows แล้วยังมีให้ใช้บน Linux
การติดตั้งและความต้องการของระบบ
ผู้เผยแพร่มีตัวติดตั้ง พกพา (Portable) สำหรับระบบ ทุกซีพียู ใช้งานได้โดยไม่ต้องติดตั้ง (แบบพกพา)
ข้อดี / ข้อเสีย
ข้อดี
- โอเพนซอร์ส ใครก็ตรวจสอบและคอมไพล์โค้ดเองได้
- แบบพกพา ใช้งานได้โดยไม่ต้องติดตั้ง
- ใช้บน Linux ได้ด้วย
สรุปสั้น ๆ: tlaplus-toolbox เป็นเครื่องมือโอเพนซอร์สในหมวด วิทยาศาสตร์และคณิตศาสตร์ สำหรับพีซี ทุกซีพียู
คุณสมบัติหลัก
- 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 ไม่เก็บ ไม่ห่อหุ้ม และไม่แก้ไขตัวติดตั้ง
คู่มือที่เกี่ยวข้อง: วิธีตรวจค่าแฮช SHA256 ของไฟล์บน Windows
เวอร์ชันล่าสุด
ทั้งหมด 1 เวอร์ชัน ›| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 1.8.0ล่าสุด | — | ทุกซีพียู ZIP |
ติดตั้งผ่านบรรทัดคำสั่ง
ติดตั้งแบบเงียบ ›scoop install extras/tlaplus-toolboxไฟล์โปรแกรม (.exe): tlc.exe, toolbox.exe
คู่มือที่เกี่ยวข้อง: วิธีใช้ winget ติดตั้งและอัปเดตโปรแกรม
มีสำหรับระบบอื่นด้วย
flatpak install flathub org.lamport.tla.toolboxข้อมูล
- หมวดหมู่
- วิทยาศาสตร์และคณิตศาสตร์
- สัญญาอนุญาต
- MIT
- ราคา
- ฟรี
- การจัดเรตเนื้อหา
- ทุกวัย
- ระบบที่ต้องการ
- Windows 11 / 10
- สถาปัตยกรรม
- ทุกซีพียู
- ตัวติดตั้ง
- พกพา (Portable)
- แพลตฟอร์มอื่น
- Linux
- เวอร์ชัน
- 1.8.0
- จำนวนเวอร์ชันในรายการ
- 1
- เว็บไซต์
- lamport.azurewebsites.net
- แพ็กเกจ Scoop
- extras/tlaplus-toolbox
คะแนนและรีวิว
ยังไม่มีรีวิว ร่วมให้คะแนนเป็นคนแรก
โปรแกรมทดแทน tlaplus-toolbox
ดูทั้งหมด ›-
โอเพนซอร์ส118K ↓ -
โอเพนซอร์ส126.7K ↓ -
โอเพนซอร์ส46K ↓ -
โอเพนซอร์ส50.3K ↓ -
โอเพนซอร์ส12.2K ↓ -
โอเพนซอร์ส17.7K ↓ -
โอเพนซอร์ส24.6K ↓ - โอเพนซอร์ส28.6K ↓
คำถามที่พบบ่อย
tlaplus-toolbox ใช้ฟรีไหม
ฟรี tlaplus-toolbox เป็นซอฟต์แวร์โอเพนซอร์ส ภายใต้สัญญาอนุญาต MIT
ดาวน์โหลด tlaplus-toolbox ปลอดภัยไหม
ไฟล์ดาวน์โหลดมาจาก github.com ExeAtlas ไม่ได้เก็บหรือแก้ไขไฟล์นี้
tlaplus-toolbox ใช้บน ARM (Windows on Arm) ได้ไหม
ตัวติดตั้งไม่ผูกกับสถาปัตยกรรมใดสถาปัตยกรรมหนึ่ง
ใช้ tlaplus-toolbox โดยไม่มีสิทธิ์ผู้ดูแลระบบได้ไหม
ได้ เป็นแบบพกพา แตกไฟล์แล้วเปิดใช้งานได้เลย
มีโปรแกรมอะไรที่ใช้แทน tlaplus-toolbox ได้บ้าง
Stellarium, KiCad, Quarto, Qalculate! และ JASP ดูการเปรียบเทียบได้ในหน้าโปรแกรมทดแทน
