UPPAAL

UPPAAL 4.0.6

UPPAAL เป็นสภาพแวดล้อมแบบบูรณาการเครื่องมือสำหรับการสร้างแบบจำลองการตรวจสอบและการตรวจสอบระบบเรียลไทม์จำลองเป็นเครือข่ายของออโตหมดเวลาขยายประเภทข้อมูล (จำนวนเต็มกระโดดอาร์เรย์ ฯลฯ )UPPAAL CORA เป็นสาขาของ UPPAAL สำหรับค่าใช้จ่ายที่เหมาะสม reachability...