×

摩卡

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位作者

按年份列出的引文