CESAR公司 swMATH ID: 8510 软件作者: Queille,J.P。;J.西法基斯。 描述: CESAR中并发系统的规范和验证。本文的目的是通过一个例子来说明交替位协议、CESAR的使用,CESAR是一个用于帮助设计分布式应用程序的交互式系统。CESAR允许根据给定规范集对通信顺序过程系统的算法描述进行渐进验证。算法描述是在CSP启发下用高级语言完成的,规范是分支时间逻辑的一组公式,其时间运算符可以作为单调谓词变换器的不动点迭代计算。系统的验证包括通过自动翻译其描述程序获得表示该系统的解释Petri网,并评估规范的每个公式。 主页: http://link.springer.com/chapter/10.1007%2F3-540-11494-7_22 关键词: 验证;通信顺序过程;算法描述;CSP公司;单调谓词变换器的不动点;解释Petri网 相关软件: 自旋蛋白;SLAM公司;Uppaal公司;NuSMV公司;班德拉;Java PathFinder;PVS公司;veriSoft软件;z3型;MONA公司;投掷;超小卫星;LTL2BA公司;酯类;ACL2型;贝博普;高超声速;CBMC公司;爆炸;Coq公司 引用于: 160文件 全部的 前5名299位作者引用 16 Moshe Ya’akov瓦尔迪 9 段振华 9 奥尔纳·库普弗曼 9 张楠 7 弗朗索瓦·拉鲁西尼 7 尼古拉斯·马基 7 田聪 6 奥尔纳·格伦伯格 6 约瑟夫·西法基斯 5 克拉克(Edmund Melson jun Clarke)。 5 Doron A.Peled。 4 萨德克·本萨勒姆 4 哈娜·乔克勒 4 帕特丽斯·戈德弗里德 4 托马斯·亨辛格(Thomas A.Henzinger)。 4 尼尔·皮特曼 4 皮埃尔·沃尔珀 三 帕罗什·阿齐兹·阿卜杜拉 三 帕特里夏·鲍耶 三 帕特里克·库索特 三 埃默森,欧内斯特·艾伦 三 帕特里克·加迪 三 苏珊娜·格拉芙 三 罗伯特·库尔尚。 三 Kedar S.Namjoshi。 三 阿米尔·普努利 三 基耶,J.P。 三 理查德·特雷弗(Richard J.Trefler)。 2 Krzysztof Rafal公寓 2 肖姆·本·达维德 2 贝拉德,贝特里奇 2 马吕斯·博兹加 2 托马斯·布里海耶 2 迈克尔·C·布朗。 2 兰斯·克莱维兰 2 阿诺达科斯塔 2 阿尔蒂·古普塔 2 谢尔盖,哈达德 2 尼古拉斯·哈尔布瓦茨 2 迈克尔·R·A·胡特。 2 拉尔夫·休克 2 芭芭拉·乔布斯曼 2 尤尼特·凯斯滕 2 阿尼埃洛·穆拉诺 2 奥尔德罗格,恩斯特·吕迪格 2 罗摩克里希南。 2 马修·萨索拉斯 2 伊拉德·沙哈尔 2 娜塔莎·莎莉吉娜 2 斯特里赫曼(Ofer Strichman) 2 加尔省瓦尔迪 2 威廉·维瑟 2 王超 2 王晓兵 2 赵亮 1 卢卡·埃特罗 1 拉杰夫·阿鲁尔 1 尼娜·阿姆拉 1 罗伊·阿莫尼 1 塞皮德·阿萨迪 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 克里斯特尔·拜尔 1 莎朗·巴纳 1 霍华德·巴林格 1 阿南达·巴苏 1 萨米克·巴苏 1 啤酒,伊兰 1 Michael A.Benedikt。 1 尼古拉·贝内什 1 杰拉德·贝里 1 吉里什·巴特(Girish S.Bhat)。 1 阿明·比尔 1 马丁·布利查 1 罗德里克·布洛姆 1 伯纳德·博伊格洛特 1 卢克·布热 1 詹姆斯·布罗瑟斯顿 1 维罗尼克·布鲁埃 1 克里希南德·查特吉 1 陈玉芳 1 Ludmila A.Cherkasova。 1 亚历山德罗·西马蒂 1 伯克·圣伊里西奇 1 克莱蒙特博士。 1 科恩,阿里尔 1 科普提,费迪 1 库隆内,P。 1 拉迪亚·库索特 1 迪迪埃·克雷斯塔尼 1 丹尼尔,马可 1 安东尼奥·迪·斯塔西奥 1 比菲省迪普 1 海宁·迪尔克斯 1 董汝珍 1 董逸飞 1 D’silva,维杰 1 杜定竹 1 杜洪伟 1 杜晓群 1 克莱门斯·杜伯斯拉夫 …还有199位作者 全部的 前5名29篇连载文章中引用 21 系统设计中的形式化方法 20 理论计算机科学 7 信息与计算 5 逻辑与代数程序设计杂志 三 信息学学报 三 计算的形式方面 三 计算机科学中的逻辑方法 2 信息处理信件 2 计算机程序设计科学 2 离散事件动态系统 2 逻辑、语言和信息杂志 2 美国计算机学会期刊 2 程序设计中的逻辑和代数方法杂志 1 国际通用系统杂志 1 国际理论物理杂志 1 RAIRO,Informatique Théorique公司 1 程序设计语言与系统学报 1 计算机科学与技术杂志 1 自动推理杂志 1 控制论与系统分析 1 符号逻辑公报 1 数学与人工智能年鉴 1 欧洲控制杂志 1 计算系统理论 1 逻辑程序设计理论与实践 1 应用数学杂志 1 智能与模糊系统杂志 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 全部的 前5名在8个字段中引用 154 计算机科学(68至XX) 64 数学逻辑和基础(03-XX) 6 系统论;控制(93至XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 信息与通信理论、电路(94-XX) 2 组合数学(05-XX) 2 运筹学、数学规划(90-XX) 1 量子理论(81-XX) 按年份列出的引文