นี่คือแอป Linux ชื่อ LTL3BA ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น ltl3ba-1.1.3.tar.gz สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ LTL3BA พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
LTL3BA
Ad
DESCRIPTION
LTL3BA เป็นนักแปลสูตร LTL เป็น Büchi automata มันขึ้นอยู่กับเครื่องมือยอดนิยมที่ชื่อว่า LTL2BA ที่เขียนโดย Denis Oddoux และ Paul Gastin (มีจำหน่ายที่ http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/).
LTL3BA ปรับปรุงประสิทธิภาพของ LTL2BA ต่อไป การปรับเปลี่ยนส่วนใหญ่ได้อธิบายไว้ในบทความ:
T. Babiak, M. Křetínský, V. Řehák, and J. Strejček: LTL to Büchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, เล่ม 7214 ของ LNCS, หน้า 95-109. สปริงเกอร์-เวอร์แล็ก, 2012.
LTL3BA รองรับเอาต์พุตในรูปแบบ Hanoi Omega-Automata (HOA) ตั้งแต่เวอร์ชัน 1.1.0 ข้อมูลเพิ่มเติมเกี่ยวกับ HOA สามารถพบได้ที่นี่: http://adl.github.io/hoaf/
เพื่อรวบรวม LTL3BA ไลบรารี BuDDy (http://sourceforge.net/projects/buddy/) มันจำเป็น.
ผู้ชม
วิทยาศาสตร์/การวิจัย, การศึกษา
ส่วนติดต่อผู้ใช้
บรรทัดคำสั่ง
ภาษาโปรแกรม
ซี++, ซี
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/ltl3ba/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา
