ดาวน์โหลด tlaplus - ดาวน์โหลด tlaplus ซอร์สโค้ด

tlaplus

ซอร์สโค้ด JAVA

The Xenophanes release

ดาวน์โหลด

เอกสารนี้ให้ภาพรวมของ TLA⁺ Tools and Toolbox ซึ่งเป็นโครงการโอเพ่นซอร์สที่จัดการโดย TLA⁺ Foundation โดยให้รายละเอียดเกี่ยวกับการใช้เครื่องมือ กระบวนการพัฒนา ใบอนุญาต และแนวทางการสนับสนุน มีเวอร์ชันก่อนเผยแพร่ และแพ็คเกจการพึ่งพา Java ได้รับการเผยแพร่เพื่อรวมเข้ากับโปรเจ็กต์อื่น ข้อมูลเพิ่มเติมเกี่ยวกับ TLA⁺ และตัวจัดการหลักฐานสามารถดูได้ที่ลิงก์ที่ให้ไว้

ภาพรวม

พื้นที่เก็บข้อมูลนี้โฮสต์เครื่องมืออินเทอร์เฟซบรรทัดคำสั่ง (CLI) หลัก TLA⁺ และสภาพแวดล้อมการพัฒนาแบบรวม (IDE) ของกล่องเครื่องมือ

การพัฒนาได้รับการจัดการโดยมูลนิธิ TLA⁺

ดู http://tlapl.us สำหรับข้อมูลเพิ่มเติมเกี่ยวกับ TLA⁺

สำหรับเครื่องมือจัดการหลักฐาน TLA⁺ โปรดดูที่ http://proofs.tlapl.us

สามารถดูการเผยแพร่เวอร์ชันได้ที่หน้าการเผยแพร่

ในปัจจุบัน ทุกความมุ่งมั่นในสาขาหลักถูกสร้างขึ้นและอัปโหลดไปยัง 1.8.0 Clarke ก่อนเผยแพร่

หากคุณต้องการการแก้ไขและฟีเจอร์ล่าสุด คุณสามารถใช้รุ่นก่อนวางจำหน่ายได้

หากคุณต้องการใช้เครื่องมือ TLA⁺ เป็นการพึ่งพา Java ในโปรเจ็กต์ซอฟต์แวร์ของคุณ แพ็คเกจ Maven จะได้รับการเผยแพร่ไปยัง oss.sonatype.org เป็นระยะๆ

ใช้

เครื่องมือ TLA⁺ ต้องใช้ Java 11+ จึงจะทำงานได้

ไฟล์ tla2tools.jar มีเครื่องมือ TLA⁺ หลายตัว