ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Triple-A

Triple-A 1.4.1

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 5.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

Triple-A (การวิเคราะห์อัตโนมัติด้วย Automata) เป็นห้องสมุดเต็มรูปแบบสําหรับ (จํากัด) automata ที่เขียนใน Java ด้วยเครื่องมือวิเคราะห์ที่มีประสิทธิภาพสองตัว (การจัดการกับการตรวจสอบรูปแบบ LTL และเลขคณิต Presburger) และส่วนต่อประสานผู้ใช้แบบกราฟิกที่สร้างขึ้นรอบ ๆ

ประวัติรุ่น

  • เวอร์ชัน 1_2_5_5 โพสต์เมื่อ 2011-04-18
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 1.4.1 โพสต์เมื่อ 2007-05-13

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • Parallel partition for string qsort/qsel ฟรี

    การดําเนินการแบบต่อเนื่องและแบบขนานของสตริง quicksorts (-select) บทความ: เกี่ยวกับจํานวนการค้นหาสตริงใน BSTs (และอัลกอริทึมที่เกี่ยวข้อง) ด้วยการเข้าถึงแบบดิจิทัล / การรวมการเข้าถึงแบบดิจิทัลและพาร์ติชันแบบขนานเพื่อการเลือกที

  • pgreplay ฟรี

    อ่านแฟ้มบันทึกฐานข้อมูล PostgreSQL แยกคําสั่ง SQL และดําเนินการคําสั่งเหล่านั้นตามลําดับเดียวกันและกําหนดเวลากับเซิร์ฟเวอร์ฐานข้อมูลอื่น มีประโยชน์สําหรับการทดสอบประสิทธิภาพด้วยปริมาณงานในโลกแห่งความเป็นจริง

  • ldapenum ฟรี

    ldapenum เป็นสคริปต์ perl ที่ออกแบบมาเพื่อระบุข้อมูลระบบและรหัสผ่านจากตัวควบคุมโดเมนโดยใช้บริการ LDAP เมื่อ IPC $ ถูกล็อค สคริปต์ได้รับการทดสอบบนหน้าต่างและลินุกซ์ สคริปต์ยังคงอยู่ในวัยเด็ก

  • F2Ashell ฟรี

    เชลล์นี้ช่วยให้คุณมีส่วนต่อประสานข้อความง่าย ๆ ในการสอบสวนรหัสของคุณ โค้ดของคุณต้องเกี่ยวข้องกับไลบรารี DLL เพื่อโต้ตอบกับเชลล์ แม่แบบที่จะใช้นี้มีไว้เพื่อให้ เว็บโครงการ: http://sites.google.com/site/f2ashell/

  • DataModeler ฟรี

    โครงการกําลังได้รับการพัฒนาภายใต้ชื่อที่แตกต่างกัน: โปรดไปที่ http://sourceforge.net/projects/modelbuilder/ Datamodeler ช่วยให้นักวิทยาศาสตร์และวิศวกรสามารถค้นหาแบบจําลองหลายตัวแปรสําหรับชุดข้อมูลใด ๆ ความซับซ้อนหรือขนาดใหญ่ท

  • GFFT ฟรี

    การใช้งาน Fast Fourier Transforms (FFT) ที่เรียบง่ายและมีประสิทธิภาพทั่วไปโดยใช้การออกแบบตามนโยบายและการเขียนโปรแกรมเทมเพลตใน C++

  • SASUnit ฟรี

    SASUnit เป็นกรอบการทดสอบหน่วยสําหรับโปรแกรม SAS(TM) มันสามารถใช้สําหรับการพัฒนาการดําเนินการและเอกสารอัตโนมัติของการทดสอบสําหรับโปรแกรม SAS SASUnit เขียนขึ้นอย่างหมดจดบนพื้นฐานของแมโคร SAS และคําสั่งเชลล์สองสามคําสั่ง

  • DomSQL ฟรี

    ภาษาการสอบถามที่มีโครงสร้างรูปแบบวัตถุเอกสารโดยยึดตาม PHP5 และ MySQL! ตัวอย่าง: 'SELECT {body[0] ภายในCode} จาก {http://example.com}';

  • Stormtrooper Clock Widget ทดลองใช้ฟรี

    วิดเจ็ต StormtrooperClock ด้วยไฟแดงเพื่อแสดงชั่วโมงและนาทีขนาด: 2 x 2เพิ่มลงในหน้าจอหลักเป็นวิดเจ็ต

  • ABIcheck binary compatibility tool ฟรี

    ABIcheck เป็นเครื่องมือสําหรับการตรวจสอบแอปพลิเคชันการปฏิบัติตามส่วนติดต่อไบนารีโปรแกรมประยุกต์ที่กําหนดไว้ของไลบรารี(ABI) คุณเลือกสัญช. มันขึ้นอยู่กับข้อมูลคําจํากัดความของ ABI ที่มีอยู่ในไลบ รา รี คําจํากัดความตัวอย