快速 swMATH ID: 21268 软件作者: Bardin,S.、Leroux,J.、Finkel,A.、Petrucci,L。 描述: 快速:符号转换系统的快速加速。fast是分析无限系统的工具。本文描述了工具设计中的基础理论和架构选择。用户必须提供要分析的模型、要检查的属性和计算策略。有几个这样的策略是作为包中的标准提出的,其他策略可以由用户添加。将快速功能与其他工具进行了比较。对文献中的一系列案例研究进行了调查 主页: http://www.lsv.fr/Software//fast/ 相关软件: TREX公司;睫毛;阿司匹克;弗拉塔;ASTREE公司;高超声速;z3(零3);PPL(公私合营);MONA公司;停机坪;PNML公司;github;常春藤;Uppaal公司;Eldarica公司;公主;反链;PHAVer公司;玲玲;ByMC公司 引用于: 42文件 全部的 前5名67位作者引用 10 阿兰·芬克尔 5 杰罗姆·勒鲁 4 伊戈尔·康诺夫(Igor V.Konnov)。 4 约瑟夫·威德 三 拉杜·奥西夫 三 鲁帕克·马朱姆达尔 2 佛罗伦萨Bouchy 2 奥利维尔·布瓦索 2 马吕斯·博兹加 2 尚巴特,皮埃尔 2 亚历山大·查普托 2 尼古拉斯·哈尔巴赫斯 2 贝特朗·珍妮特 2 费利克斯·克莱特克 2 Lin,Anthony Widjaja 2 M·普拉文。 2 Jean-François拉斯金 2 菲利普·吕默 2 西尔万·施密茨 2 彼得·施拉梅尔 2 亚萨米娜·塞拉吉 2 赫尔穆特·维思 2 汤姆·沃纳 1 Jean-Paul Bodeveix公司 1 尤罕·博伊库特 1 伯纳德·博伊格洛特 1 博利格,贝内迪克特 1 艾哈迈德·博阿贾尼 1 Boutonet,雷米 1 塞塞、杰拉德 1 克莉丝汀,杂乱无章 1 迈克尔·科隆。 1 斯特凡·德姆里。 1 约琴·艾辛格 1 埃曼纽尔·恩克雷纳兹 1 菲拉利,马蒙 1 弗洛里安·弗洛恩 1 雷吉斯·加斯科 1 吉勒·杰勒茨 1 劳雷·贡诺德 1 彼得·哈贝梅尔 1 海姆,皮尔雷·科里尔 1 弗雷德里克·赫布雷托 1 卢卡什·霍利克 1 奥尔加·库什纳伦科 1 丹尼尔·科宁 1 朱尔·库科维奇 1 朱莉娅·劳尔。 1 马里亚娜·拉齐奇 1 Ondřej Lengál 1 莱姆,迪迪埃 1 米凯拉·梅耶罗 1 大卫·默沙特 1 皮埃尔·莫罗 1 吉尔·穆勒 1 斯旺·佩拉诺 1 劳雷·佩特鲁奇 1 亚当·罗加列维奇 1 奥利维尔·H·鲁克斯。 1 阿诺德·桑尼尔 1 桑卡拉纳拉亚南,斯里拉姆 1 Subotic,铺面 1 阿姆丽塔·苏雷什 1 格雷戈伊尔·萨特雷 1 陈清海 1 劳伦特·范·贝京 1 乔治·威森巴赫 全部的 前5名11篇连载文章中引用 6 系统设计中的形式化方法 4 理论计算机科学 4 计算机科学中的逻辑方法 三 信息与计算 2 符号计算杂志 1 信息学报 1 信息处理信件 1 计算机与系统科学杂志 1 自动推理杂志 1 计算的形式方面 1 实时系统 在5个字段中引用 42 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 三 数值分析(65-XX) 1 凸和离散几何(52至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文