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文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 CafeOBJ作为行为系统验证的工具。 Zbl 1033.68584号森,亚基拉;高基町五指 2003 全部的 前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位作者 全部的 前5名29篇连载文章中引用 28 理论计算机科学 6 逻辑与代数程序设计杂志 6 程序设计中的逻辑和代数方法杂志 4 信息处理信件 4 信息与计算 4 计算的形式方面 三 逻辑与计算杂志 三 MSCS公司。计算机科学中的数学结构 三 应用的分类结构 2 控制论与系统分析 2 函数编程杂志 2 泛逻辑 2 计算机科学中的逻辑方法 1 人工智能 1 计算机与系统科学杂志 1 控制论与系统 1 计算机程序设计科学 1 符号计算杂志 1 自动推理杂志 1 数学逻辑档案 1 RIMS Kokyuroku公司 1 高阶和符号计算 1 软件工程年报 1 计算与信息学 1 计算机科学课堂讲稿 1 AMAST计算系列 1 数学中的算法和计算 1 通用逻辑研究 1 理论计算机科学专著。EATCS系列 全部的 前5名17个字段中引用 155 计算机科学(68至XX) 55 数理逻辑与基础(03-XX) 12 范畴理论;同调代数(18-XX) 5 一般代数系统(08-XX) 1 总体主题;集合(00-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 结合环与代数(16-XX) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文