The PEP tool 2.0b

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

เกี่ยวกับ The PEP tool

PEP เป็นกรอบการสร้างแบบจําลองและการตรวจสอบสําหรับระบบขนานซึ่งให้ภาษาการสร้างแบบจําลองและเทคนิคการตรวจสอบที่แตกต่างกันจํานวนมาก (เช่น SDL, Petri nets และการตรวจสอบรุ่น)