xmmsctrl 1.9
xmmsctrl เป็นสาธารณูปโภคที่มีขนาดเล็กในการควบคุม xmms จากบรรทัดคำสั่ง เป้าหมาย xmmsctrl คือการถูกนำมาใช้ควบคู่ไปกับการดวลจุดโทษในการทดสอบ xmms รัฐและดำเนินการดำเนินการที่เหมาะสมเช่น...
UPPAAL TIGA 4.1.0-0.9
UPPAAL TIGA เป็นส่วนขยายของ UPPAAL [BDL04] และจะดำเนินการเป็นครั้งแรกที่มีประสิทธิภาพ on-the-บินอัลกอริทึมสำหรับการแก้เกมขึ้นอยู่กับออเกมหมดเวลาที่เกี่ยวกับการเชื่อมและคุณสมบัติด้านความปลอดภัยแม้ว่าเกมหมดเวลานานได้รับทราบเพื่อจะได้มี decidable...
UPPAAL 4.0.6
UPPAAL เป็นสภาพแวดล้อมแบบบูรณาการเครื่องมือสำหรับการสร้างแบบจำลองการตรวจสอบและการตรวจสอบระบบเรียลไทม์จำลองเป็นเครือข่ายของออโตหมดเวลาขยายประเภทข้อมูล (จำนวนเต็มกระโดดอาร์เรย์ ฯลฯ )UPPAAL CORA เป็นสาขาของ UPPAAL สำหรับค่าใช้จ่ายที่เหมาะสม reachability...
ซอฟแวร์ที่เป็นที่นิยม
-
UPPAAL 2 Jun 15
-
UPPAAL TIGA 2 Jun 15
-
xmmsctrl 3 Jun 15