ส่งซอฟต์แวร์

โปรแกรมตาม peptool.sf.net

  • The PEP tool ฟรี

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