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

เรากําลังพัฒนา MIRACH ซึ่งเป็นตัวตรวจสอบแบบจําลองออนไลน์ทางสถิติสําหรับแบบจําลองเส้นทางทางชีวภาพตามพิธีการ PLTLs เพื่อแสดงกฎ / คุณสมบัติที่จะตรวจสอบ ปัจจุบัน MIRACH สามารถตรวจสอบรูปแบบเส้นทางที่เขียนใน CSML หรือ SBML