MCK公司 swMATH ID: 9465 软件作者： 罗恩·范德梅登；彼得·甘米（Peter Gammie）；Kai Baukus；杰里米·李；程洛；黄晓伟 描述： MCK：模型检查知识。MCK是新南威尔士大学计算机科学与工程学院开发的知识逻辑模型检查器。该系统旨在用作各种方法的测试台，以对知识逻辑进行模型检查。该模型检查器的新颖之处在于，在给定多智能体系统的描述和智能体所做的观察的情况下，它支持几种不同的定义知识的方法：单独观察；观测与时钟；同步和异步完美回忆所有观察结果。支持线性和分支时间时间运算符。MCK的早期版本主要基于基于BDD的模型检查算法，但MCK现在还支持有界模型检查以及显式状态模型检查。 主页： http://cgi.cse.unsw.edu.au/~mck/pmck/ 相关软件： MCMAS公司；VerICS版本；NuSMV公司；CUDD公司；演示；摩卡；自旋蛋白；SMCDEL公司；Verics公司；jMocha公司；MCMAS-SLK公司；github；nuXmv（数字）；Simulink公司；PVS公司；z3（零3）；多媒体卡；PicoSAT卫星；3APL公司；代理发言 引用于： 34文件 更多出版物： http://cgi.cse.unsw.edu.au/~mck/pmck/mcks/出版物 全部的 前5名被67位作者引用 10 阿莱西奥·洛穆西奥 6 弗朗西斯科·贝拉迪内利 三 沃伊切赫·彭泽克 三 罗恩·范德梅登 三 汉斯·皮特·范·迪特马什 2 彼得·甘米 2 沃伊切赫·贾姆罗加 2 米查尔·乔泽夫·纳皮克 2 罗向玉 2 曲洪阳 2 苏凯乐 2 安德烈·兹布雷泽兹尼 1 娜塔莎·亚历奇纳 1 穆萨德·巴利乌 1 贝内维特斯，马里奥·R·F·。 1 爱奥华纳州布尔亚努 1 马可·波扎诺 1 彼得·科马克 1 张正伟 1 陈爱祥 1 陈清亮 1 亚历山德罗·西马蒂 1 罗德卡·孔杜拉克 1 达姆，麦兹 1 蒂亚戈，德利马 1 弗朗西安·戴奇森 1 柯特林·迪马 1 乔纳森·以西结 1 迈克尔·费希尔 1 鲁斯塔姆·加利姆林 1 马可·加里奥 1 顾，明 1 Dimitar P.Guelev。 1 郭文生 1 安德烈亚斯·赫齐格 1 黄晓伟 1 沃尔夫拉姆·卡尔 1 萨瓦斯·科努尔 1 帕纳吉奥蒂斯·库瓦罗斯 1 达米安·库皮耶夫斯基 1 罗，程 1 马查多，维托 1 瓦迪姆·马尔文 1 克里斯蒂安·马塔雷 1 乌卡斯·米库尔斯基 1 法比奥·莫加维罗 1 穆拉诺，阿尼洛 1 劳尔·帕尔多 1 马纳斯·K·帕特拉。 1 佛朗哥·雷蒙迪 1 福图纳特·拉乔纳 1 阮，季 1 弗朗西斯科·拉索 1 阿卜杜勒·萨塔尔 1 斯文·舍韦 1 杰拉尔多·施奈德 1 范德霍克，威比 1 王拓 1 王燕京 1 沃纳·什尼亚克（Bożena） 1 沃纳、博埃纳 1 吴丽君 1 Xu，永生 1 杨国武 1 杨金吉 1 阿格涅斯卡·兹布列兹尼。 1 郑德胜 全部的 前5名14篇连载文章中引用 4 人工智能 三 信息与计算 1 Studia Logica公司 1 合成 1 理论计算机科学 1 计算的形式方面 1 逻辑与计算杂志 1 逻辑、语言与信息杂志 1 IGPL逻辑期刊 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 应用逻辑杂志 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 34 计算机科学（68至XX） 20 数学逻辑和基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文