Hantar Perisian

Atur cara mengikut mctk-tool.sf.net

  • MCTK: a symbolic model checker for MAS Percuma

    MCTK (Masa Semakan Model dan Pengetahuan) adalah pemeriksa model simbolik untuk sistem pelbagai ejen, yang menyokong pengesahan logik pengetahuan sementara. Ia dibangunkan berdasarkan NuSMV 2.1.2 oleh Xiangyu Luo.