IF-2.0型 swMATH ID: 3303 软件作者: 马里乌斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔 描述: IF-2.0:基于组件的实时系统的验证环境人们普遍认为,如果没有工具集成,就很难实现复杂系统的自动化验证。IF-1.0工具箱的开发始于几年前,目的是为定时异步系统(例如电信协议或分布式应用程序)提供一个开放的验证平台。工具箱建立在基于扩展时间自动机的中间表示语言之上。特别是,这种表示使我们能够研究异步系统的实时原语的语义。目前,工具箱包含关于中间语言的专用工具(例如编译器、静态分析器和模型检查器)以及各种规范语言的前端和验证工具(学术和商业工具)。在专用工具中,我们侧重于静态分析(如切片和抽象),这对于复杂系统的自动化验证是必需的。最后,该工具箱已成功用于多个案例研究。par尽管这个工具箱对特定的应用程序很感兴趣,但似乎有些最初的设计选择是为了获得最大的效率,有时限制性太强。尤其是,它们可能会妨碍其在更广泛的环境中的适用性:par–中间表示的静态性质妨碍了对动态系统的分析。更确切地说,对象(或线程)创建和销毁等原始操作不受支持,它们在UML或Java等编程语言的规范形式中都得到了广泛而自然的使用。par–探索引擎的架构只允许探索纯IF-1.0规范。对于混合了正式描述和可执行代码的复杂系统规范(例如,对于已经实现和测试的组件)来说,这太过严格。par这种情况促使扩展IF-1.0中间表示,进而重新考虑勘探引擎的架构。 主页: 网址:http://www-if.imag.fr/ 相关软件: Uppaal公司;克洛诺斯;自旋蛋白;高超声速;CADP公司;TINA公司;CMC公司;罗密欧;莫德;MoDeST公司;PVS公司;PMaude公司;电动机;射击类游戏;z3(零3);UMDES公司;网论;TAPAAL公司;UPPAAL TIGA公司;DREAM工具 引用于: 38文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 IF工具集。 Zbl 1105.68352号马吕斯·博兹加;格拉夫,苏珊娜;伊利亚娜·奥贝尔;尤利安·奥贝尔;约瑟夫·西法基斯 2004 IF-2.0:基于组件的实时系统的验证环境。 Zbl 1010.68751号马吕斯·博兹加;格拉夫,苏珊娜;劳伦特·穆尼尔 2002 全部的 前5名77位作者引用 5 马吕斯·博兹加 5 格拉夫,苏珊娜 5 奥德·马勒 4 Peter Csaba,Olveczky 三 弗雷德里克·朗 三 何塞·梅塞盖尔·瓜伊塔 三 伊利亚娜·奥贝尔 三 尤利安·奥贝尔 三 吉·斯尔巴 2 休伯特·加拉维 2 鲁道夫·戈麦斯 2 拉塞·雅各布森 2 莫滕·雅各布森 2 米凯尔·哈克杰·默勒 2 劳伦特·穆尼尔 2 彼得·尼伯特 1 亚斯米娜·阿卜杜达伊姆 1 谢里夫·阿卜杜勒瓦希德 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 迈克尔·亚历山大 1 尤金·亚萨林 1 埃齐奥·巴托西 1 格雷戈里·巴特 1 卡洛斯·巴齐利奥 1 兰齐·本·萨拉赫 1 约阿金·比格 1 汤姆·乔西亚 1 弗拉维奥·科拉迪尼 1 Pieter J.L.Cuijpers。 1 佩德罗·鲁宾·达吉尼奥 1 德波尔(Frank S。 1 朱尔根·丁格尔 1 马修·德怀尔。 1 马库斯·恩德勒 1 塞巴斯蒂安·恩格尔 1 比尼亚姆·盖布雷迈克尔 1 爱德华·赫尔曼·海尔 1 约翰·哈特克利夫 1 雷米·Hérilier 1 拉杜·奥西夫 1 穆罕默德·马赫迪·贾古奥里 1 约根森、肯尼思·伊尔克 1 Jean-Francois肯普夫 1 杰夫·克莱默 1 米尔科·洛吉 1 弗洛里安·洛伯 1 加博·马德尔 1 杰夫·马吉 1 马林诺夫斯基(Janusz Malinowski) 1 蒂齐亚娜·玛格丽亚 1 贾森·马尔科夫斯基 1 埃马努埃拉·梅雷利 1 Nadales Agut,D.E。 1 德扬·尼科维奇 1 塞巴斯蒂安·帕内克 1 格拉齐亚诺·普拉瓦德利 1 曲洪阳 1 雅各布斯·E·罗达。 1 阿姆诺·罗森曼 1 鲁迪,凯伦 1 Salaün,格温 1 道格拉斯·施密特(Douglas C.Schmidt)。 1 约瑟夫·西法基斯 1 马尔詹·西尔贾尼 1 伯恩哈德·斯特芬 1 扬·施托克 1 奥拉夫·斯特斯伯格 1 卡罗琳·塔尔科特。 1 兰登·泰勒 1 卢卡·特塞 1 斯蒂安·托瓦尔森 1 van Beek博士。 1 Waez,Md Tawhid Bin 1 王法恩 1 杨亚兰 1 姚丽伟 1 张震 全部的 前5名9篇连载文章中引用 4 理论计算机科学 三 实时系统 2 计算的形式方面 2 系统设计中的形式化方法 1 国际并行程序设计杂志 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 计算机科学评论 1 查普曼和霍尔/CRC计算科学系列 在5个字段中引用 38 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 动力系统和遍历理论(37至XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文