×

OBJ咖啡馆

swMATH ID: 6232
软件作者: 森喜朗(Akira Mori);高基町五指
描述: CafeOBJ作为行为系统验证的工具。我们报告了一种基于底层状态转移系统的一阶描述的机器支持的动态系统安全特性验证方法。通过状态谓词捕获一组状态,我们可以在最小不动点的集论迭代计算中使用谓词演算来验证无限状态系统的安全性。
主页: http://www.ldl.jaist.ac.jp/cafeobj/
相关软件: 莫德;OBJ3型;套管,套管;ELAN公司;ITP公司;哈斯克尔;落叶松;AProVE公司;伊莎贝尔/HOL;赫茨;MTT公司;多终端;Coq公司;中国保监会;PMaude公司;爪哇风扇;K校准仪;CITP公司;蒂罗尔(Tyrolean);MMT公司
引用于: 167文件
全部的 前5名

112位作者引用

42 何塞·梅塞盖尔·瓜伊塔
25 格里高·罗什乌
24 拉兹万·迪亚科内斯库
18 高基町五指
15 Kazuhiro绪方
11 约瑟夫·阿马迪·戈根
11 萨尔瓦多卢卡斯
8 弗朗西斯科·杜兰
8 丹尼尔·加恩
6 多雷尔·卢卡努
5 圣地亚哥埃斯科瓦尔
5 马丁·奥列特,纳西索
5 ☑特拉安·弗洛林(Traian Florin)
5 斯特凡尼亚斯,Petros S。
5 Ţuţu,伊奥努
4 比约纳,迪内斯
4 罗伯托·布鲁尼
4 罗尔夫·亨尼克
4 蒂尔·莫萨科夫斯基
4 阿德里安·里斯科
玛丽亚·阿尔普特
米歇尔·比多特
曼努埃尔·克拉维尔
劳尔·古铁雷斯
马丁斯(Manuel António Martins)
乌戈·蒙塔纳里。
米盖尔·帕洛米诺
安德烈·波佩斯库
斯蒂芬·斯基里克
2 史蒂文·艾克
2 弗朗戈斯,帕纳伊奥蒂斯五世。
2 吉尔根·吉斯尔
2 凯特琳娜·克西斯特拉
2 林,凯
2 帕特里克·D·林肯。
2 亚历山大·马德拉
2 格兰特·马尔科姆
2 克劳德·马奇
2 阿尔特·米德尔多普
2 中村,Masaki
2 佩德罗·奥杰达
2 Iakovos Ch.乌拉诺斯。
2 卡米洛·罗查
2 唐纳德·桑内拉。
2 卡罗琳·塔尔科特。
2 安德烈·塔莱基
2 普拉桑纳·塔蒂
1 瓦卡尔·艾哈迈德
1 阿勒科恩,比阿特丽兹
1 胡安·阿尔卡德
1 奥纳·安德烈
1 阿德里亚娜·阿佩特里
1 奥雷里奥·阿雷纳斯
1 康斯坦丁·阿库达斯
1 巴博萨、路易斯·索亚雷斯
1 塞尔默布林斯乔尔
1 Samuel R.巴斯。
1 陈冯
1 霍雷修·西尔斯泰
1 米哈伊·科德斯库
1 多里安·多迪耶
1 董金松
1 丹尼尔·多尔蒂。
1 哈维尔·埃斯佩特
1 伊莎贝尔·M·A·费雷里姆。
1 法比奥·加杜奇
1 奥维迪乌·盖奥吉斯
1 马科托·哈马纳
1 奥斯曼·哈桑
1 安妮·伊丽莎白·哈克斯豪森
1 莉莉亚娜·伊巴内斯库
1 Iohara、Kenji
1 Jean-Pierre Jouannaud
1 坎普,汤姆
1 克洛德·基什内尔
1 赫莱内·基什内尔
1 亚历山大·纳普
1 乌尔里克·莱什内尔
1 皮埃尔·莱斯坎
1 李永坚
1 路易吉·利科里
1 刘,杨
1 洛佩斯·蓬博,卡洛斯·古斯塔沃
1 克里斯蒂安·梅德
1 菲利普·马尔博斯
1 阿古斯汀·埃洛伊·马丁内斯·苏涅
1 森,亚基拉
1 约阿昆·尼科拉斯
1 Peter Csaba,Olveczky
1 彼得·帕达维茨
1 庞、军
1 Pawłowski、Wies \322»aw
1 马吕斯·佩特里亚
1 唐·伦纳德·皮戈齐
1 Preining,诺伯特
1 拉斐尔西珀,马提亚斯
1 齐藤,Masa-Hiko
1 卢茨·施罗德
1 高弘正野
1 tefénescu,Gheorghe
…还有12位作者

按年份列出的引文