拍打 swMATH ID: 13258 软件作者: 孙军、刘洋、董金松、庞军 描述: PAT是一个自包含的框架,用于支持并发、实时系统和其他可能域的组合、模拟和推理。它具有用户友好的界面、特色模型编辑器和动画模拟器。最重要的是,PAT实施了各种模型检查技术,以适应不同的属性,如无死锁、无发散、可达性、LTL属性以及公平假设、细化检查和概率模型检查。为了获得良好的性能,PAT中采用了先进的优化技术,例如部分降阶、对称降阶、过程计数器抽象、并行模型检查。 主页: 网址:http://pat.comp.nus.edu.sg/ 相关软件: Uppaal公司;自旋蛋白;ProB公司;Coq公司;模仿者;PVS公司;NuSMV公司;ERA-PAT公司;z3(零3);伊莎贝尔;马戏团;github;FDR3公司;CSP防护;Z轴;P-语言;临时技术秘书处;莫德;LTSmin公司;卡斯珀 引用于: 34文件 更多出版物: http://pat.cop.nus.edu.sg/?page_id=2599 全部的 前5名78位作者引用 10 刘,杨 10 孙骏 9 董金松 6 埃蒂安·安德烈 4 哈维尔·埃斯帕尔扎 3 孙静 2 古斯塔沃·卡瓦略 2 安娜·卡瓦尔坎蒂 2 斯特凡·贾克斯 2 李毅 2 林尚伟 2 刘业洲 2 拉杜·尼科尔斯库 2 奥古斯托·桑帕约。 2 赵永新 1 Al-Humaimedy,Abeer S。 1 Bae,Kyungmin先生 1 詹姆斯·巴克斯特 1 穆罕默德·马赫迪·本穆萨 1 迈克尔·布隆丁 1 克莉丝汀,杂乱无章 1 兰斯·克莱维兰 1 罗伯特·J·科尔文。 1 斯乔德·克兰恩 1 乔里·德·鲁伊特 1 埃里克·P·德文克。 1 迪奥戈·法尔考 1 冯志勇 1 费尔南德斯,马里贝尔 1 威廉·扬·福克金 1 福田、阿基拉 1 皮埃尔·甘蒂 1 Jan Friso,格鲁特 1 伊恩·海耶斯。 1 亚历克·亨德森 1 侯哲 1 胡静 1 杰伦·J·A·凯伦。 1 孔伟强 1 杰罗姆·勒鲁 1 李晓红 1 李晓如 1 刘燕 1 朗,腾 1 卢安图 1 鲁帕克·马朱姆达尔 1 何塞·梅塞盖尔·瓜伊塔 1 菲利普·梅耶(Philipp J.Meyer)。 1 亚历山大·莫塔。 1 黄家阮 1 阮楚钦 1 大崎,Hitoshi 1 庞、军 1 劳蕾·佩特鲁奇 1 秦胜超 1 米哈伊尔·拉斯金 1 佩德罗·里贝罗 1 安德鲁·威廉·罗斯科 1 史玲 1 司元杰 1 斯科特·斯莫尔卡。 1 斯坦珀斯,弗兰克·P·M。 1 田口健二 1 佩琳娜·托尔马赫 1 阮文凡·唐 1 查纳·韦尔·肯尼迪 1 威格·威瑟林克 1 Tim A.C.Willemse。 1 大卫·M·威廉姆斯。 1 谢万玲 1 徐光泉 1 徐启文 1 山形,Yoriyuki 1 杨晓虎 1 张绍杰 1 张文辉 1 张,西安 1 朱慧彪 全部的 前5名11连载 6 计算的形式方面 3 系统设计中的形式化方法 2 信息学报 2 计算机科学前沿 1 计算机程序设计科学 1 实时系统 1 分布式计算 1 摩尔多瓦计算机科学杂志 1 应用数学杂志 1 计算机科学课文 1 膜计算杂志 全部的 前5名在6个字段中引用 33 计算机科学(68至XX) 3 信息与通信理论、电路(94-XX) 2 数学逻辑和基础(03-XX) 2 系统论;控制(93至XX) 1 组合数学(05-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文