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

โปรแกรมตาม mctk-tool.sf.net

  • MCTK: a symbolic model checker for MAS ฟรี

    MCTK (เวลาและความรู้ในการตรวจสอบแบบจําลอง) เป็นตัวตรวจสอบแบบจําลองสัญลักษณ์สําหรับระบบหลายตัวแทนซึ่งรองรับการตรวจสอบตรรกะทางโลกของความรู้ มันได้รับการพัฒนาบนพื้นฐานของ NuSMV 2.1.2 โดย Xiangyu Luo