弗拉塔 swMATH ID: 4142 软件作者： 马吕斯·博兹加；半径Iosif；菲利普·科内克尼；托马斯·沃伊纳尔 描述： FLATA是一个用于操作和分析非确定性整数程序（也称为计数器自动机）的工具集。FLATA的主要功能有：非递归程序的可达性分析&检查错误控制状态是否可达非递归程序的终止分析&终止前提的计算递归程序摘要的计算 主页： http://nts.imag.fr/index.php/Flata 相关软件： Eldarica公司；公主；z3（零3）；快速；垫片；c2i公司；github；树自动管理器；生锈；麻糬；拉赫夫特；SeaHorn公司；陆军部；TPDB公司；PURRS公司；StarExec公司；阿司匹克；胡迪尼；TREX公司；Uppaal公司 引用于： 26文件 更多出版物： http://www-verimag.imag.fr/Publications-by-years网站，255.html？lang=英语 全部的 前5名60位作者引用 4 斯特凡·德姆里。 三 马吕斯·博兹加 三 拉杜·奥西夫 2 阿米特·库马尔·达尔 2 格里戈里·费迪尤科维奇 2 阿兰·芬克尔 2 弗洛里安·弗洛恩 2 菲利普·科内钦 2 M·普拉文。 2 阿诺德·桑尼尔 1 奥马尔·巴塔内赫 1 弗朗西斯科·阿尔贝蒂 1 拉斯蒂斯拉夫·博迪克 1 哈立德·比萨耶斯 1 查克拉波蒂，苏普拉特克 1 冠军，阿德里安 1 利迪亚·切尔尼戈夫斯卡娅 1 千叶，富古屋 1 约翰·Cyphert 1 菲利普·达伦多 1 马可·费拉 1 阿诺德·菲埃茨克 1 法语，蒂姆 1 约翰·加拉赫（John P.Gallagher）。 1 皮埃尔·甘蒂 1 加尔达洛，Wided 1 西尔维奥·吉拉尔迪 1 吉尔根·吉斯尔 1 哥德鲁·格里亚 1 阿什图什·古普塔 1 雷米·朱伯特 1 贝特朗·珍妮特 1 比肖克桑·卡夫 1 塞缪尔·考夫曼。 1 扎卡里·金凯德 1 小林直树 1 克鲁格洛夫，叶甫根尼·瓦伦蒂诺维奇 1 拉米亚·拉比德·吉拉尼 1 恩格尔·勒福丘 1 杰罗姆·勒鲁 1 阿斯玛·卢希奇 1 罗兰·梅耶 1 阿里·米莉 1 克里斯托夫·莫尔万 1 奥尔法·姆拉伊 1 乔尔·欧·瓦克宁。 1 Gennaro帕拉托 1 乘务长，大卫 1 代表，Thomas W。 1 皮埃尔·阿莱·雷尼尔 1 马克·亚历山大·雷诺兹 1 菲利普·吕默 1 佐藤隆介 1 彼得·施拉梅尔 1 娜塔莎·莎莉吉娜 1 Subotic，铺面 1 乌纳德卡特，迪维什 1 克里斯托夫·韦登巴赫 1 詹姆斯·沃雷尔。 1 卢卡斯·扎瓦利亚 全部的 前5名9连载 三 计算机科学中的逻辑方法 1 信息学报 1 计算机与系统科学杂志 1 符号计算杂志 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 在4个字段中引用 26 计算机科学（68至XX） 11 数理逻辑与基础（03-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文