摩卡 swMATH ID: 12935 软件作者: Alur,R.,Henzinger,T.A.,Mang,F.Y.C.,Qadeer,S.,Rajamani,S.K.,Tasiran,S。 描述: MOCHA:模型检查中的模块化。MOCHA是一个不断发展的交互式软件环境,用于系统规范和验证。MOCHA的主要目标是在自动验证中开发而不是破坏设计结构。MOCHA旨在作为开发新验证算法和方法的工具。MOCHA有两个版本,cMocha(1.0.1版)和jMocha,2.0版。 主页: 网址:http://www.cis.upenn.edu/~摩卡咖啡/ 相关软件: MCMAS公司;自旋蛋白;棱镜;MCMAS-SLK公司;NuSMV公司;EAGLE公司;PRISM-游戏;VerICS版本;主旨;普拉林;Uppaal公司;MCK公司;糠;PVS公司;jMocha公司;前夕;QUBE公司;Quaffle餐厅;CESAR公司;PGSolver公司 引用于: 85文件 全部的 前5名146位作者引用 12 迈克尔·J·伍尔德里奇。 7 朱利安·古铁雷斯 5 娜塔莎·亚历奇纳 5 拉杰夫·阿鲁尔 5 布赖恩·洛根 5 范德霍克,威比 4 沃伊切赫·贾姆罗加 4 Marta Z.Kwiatkowska。 4 朱塞佩·佩雷利 4 Rajamani,Sriram K。 三 弗朗西斯科·贝拉迪内利 三 迪米特拉·吉安娜科波卢 三 保罗·哈伦斯坦 三 托马斯·亨辛格(Thomas A.Henzinger)。 三 科琳娜·s·佩斯勒诺。 三 阿卜杜尔·拉基布 三 纳塔利娅·西多罗娃 三 马丁·斯特芬 2 克里希南德·查特吉 2 陈、陶璐 2 当、哲 2 尤尔根·迪克斯 2 伯恩德·芬克贝纳 2 Forejt,Vojtěch公司 2 拉杜·格罗苏 2 娜塔莉亚·尤斯蒂诺娃 2 史蒂夫·克莱默 2 丹尼尔·科宁 2 帕塔萨拉西马杜苏丹 2 佐哈尔·曼纳 2 南黄弘 2 阮黄雅(Nguyen Hoang Nga) 2 沙兹·卡迪尔 2 维什瓦纳斯·拉曼 2 莱恩,马克·德莫特 2 舍韦,斯文 2 皮埃尔·伊夫·肖本斯 2 西马提斯,艾斯蒂斯 2 Henny B.西普玛。 2 马特奥·斯拉尼娜 2 谢高艳 1 萨姆森·艾布拉姆斯基 1 托马斯·奥戈特内斯 1 亚历山大·艾肯 1 阿塞特夫·诺艾,勒克雷米奥拉 1 鲍尔,托马斯 1 霍华德·巴林格 1 贝德纳尔奇克,马雷克A。 1 苏哈·本·拉亚纳 1 萨德克·本萨勒姆 1 乌鸦·贝特纳 1 圭多·波埃拉 1 马吕斯·博兹加 1 塞西尔·布劳恩斯坦 1 朱利安·布鲁内尔 1 D.Yu Bugaichenko。 1 弗兰克·卡塞兹 1 罗希特·查达 1 萨加·查基 1 克利斯朵夫·查尔顿 1 Chemouil,大卫 1 陈爱祥 1 陈清亮 1 克拉克(Edmund Melson jun Clarke)。 1 杰米森·科布雷。 1 雅克·康巴兹 1 马加里·孔廷斯 1 拜伦·库克 1 德波尔(Frank S。 1 克劳迪奥·德·拉里瓦 1 弗朗西安·戴奇森 1 Stéphane P.德姆里。 1 玛丽尔·多奇 1 段振华 1 保罗·E·邓恩。 1 埃曼纽尔·恩克雷纳兹 1 迈克尔·D·恩斯特。 1 曼努埃尔·Fähndrich 1 安吉洛·费兰多 1 杰弗里·福斯特。 1 史蒂芬·加兰德。 1 Gheorghiu Bobaru,米哈伊拉 1 米哈埃拉·乔尔吉 1 Dan R.吉卡。 1 艾丹·哈丁 1 马尔特·赫尔默特 1 黄忠浩 1 希曼舒·杰恩 1 马格达莱娜·卡普扎克 1 基利、泽利哈·迪尔森 1 米查尔·乔泽夫·纳皮克 1 帕纳吉奥蒂斯·库瓦罗斯 1 达米安·库尔皮夫斯基 1 马克·劳福德 1 弗朗西丝卡·列维 1 阿莱西奥·洛穆西奥 1 哈维尔·洛佩兹 1 罗向玉 1 南希·安·林奇 1 瓦迪姆·马尔文 …还有46位作者 全部的 前5名19篇连载文章中引用 8 人工智能 5 合成 5 系统设计中的形式化方法 三 计算机科学中的逻辑方法 2 信息学报 2 信息与计算 2 计算的形式方面 2 逻辑与计算杂志 2 计算机基础理论 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 维斯特尼克圣彼得堡大学。数学 1 应用非经典逻辑杂志 1 欧洲控制杂志 1 计算系统理论 1 IGPL逻辑杂志 1 应用逻辑杂志 1 计算机科学前沿 全部的 前5名在6个字段中引用 81 计算机科学(68至XX) 28 数学逻辑和基础(03-XX) 18 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 信息与通信理论、电路(94-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文