×

拍打

swMATH ID: 13258
软件作者: 孙军、刘洋、董金松、庞军
描述: PAT是一个自包含的框架,用于支持并发、实时系统和其他可能域的组合、模拟和推理。它具有用户友好的界面、特色模型编辑器和动画模拟器。最重要的是,PAT实施了各种模型检查技术,以适应不同的属性,如无死锁、无发散、可达性、LTL属性以及公平假设、细化检查和概率模型检查。为了获得良好的性能,PAT中采用了先进的优化技术,例如部分降阶、对称降阶、过程计数器抽象、并行模型检查。
主页: 网址:http://pat.comp.nus.edu.sg/
相关软件: Uppaal公司;自旋蛋白;ProB公司;Coq公司;模仿者;PVS公司;NuSMV公司;ERA-PAT公司;z3型;伊莎贝尔;马戏团;github;FDR3公司;CSP防护;Z轴;P-语言;临时技术秘书处;莫德;LTSmin公司;卡斯珀
引用于: 34文件
更多出版物: http://pat.cop.nus.edu.sg/?page_id=2599
全部的 前5名

78位作者引用

10 刘,杨
10 孙骏
9 董金松
6 埃蒂安·安德烈
4 哈维尔·埃斯帕尔扎
孙静
2 古斯塔沃·卡瓦略
2 安娜·卡瓦尔坎蒂
2 斯特凡·贾克斯
2 李毅
2 林尚伟
2 刘业洲
2 尼古拉斯库,拉杜
2 奥古斯托·桑帕约。
2 赵永新
1 Al-Humaimedy,Abeer S。
1 Bae,京敏
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 Jeroen J.A.Keiren。
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 蒂姆·威廉姆斯。
1 大卫·M·威廉姆斯。
1 谢万玲
1 徐光泉
1 徐启文
1 山形,Yoriyuki
1 杨晓虎
1 张绍杰
1 张文辉
1 张,西安
1 朱慧彪

按年份列出的引文