Prześlij oprogramowanie

Programy według mctk-tool.sf.net

  • MCTK: a symbolic model checker for MAS Wolna

    MCTK (Model Checking Time and Knowledge) to symboliczny kontroler modelu dla systemów wieloagentowych, który obsługuje weryfikację czasowej logiki wiedzy. Został opracowany w oparciu o NuSMV 2.1.2 przez Xiangyu Luo.