扁桃

FLATA是一个用于操作和分析非确定性整数程序(也称为计数器自动机)的工具集。FLATA的主要功能是:非递归程序的可达性分析-检查错误控制状态是否可达非递归程序的终止分析-终止条件的计算递归程序摘要的计算


zbMATH中的参考文献(参考文献18条)

显示第1至18个结果,共18个。
按年份排序(引用)

  1. 冠军,阿德里安;千叶,通屋;小林,直木;Sato,Ryosuke:基于ICE的高阶功能程序改进型发现(2020)
  2. 费德约科维奇,格里戈里;考夫曼,塞缪尔J。;Bodík,Rastislav:从频率分布中取样学习归纳不变量(2020)
  3. 芬克尔,阿兰;Praveen,M.:扁平FIFO系统的验证(2020年)
  4. 勒鲁克斯,杰罗姆;吕默,菲利普;Subotić,Pavle:用领域特定抽象指导Craig插值(2016)
  5. 奥马尔·巴泰尼;雷诺兹,马克;French,Tim:加速具有循环行为的时间自动机模型的最坏情况执行时间分析(2015)
  6. 阿尔贝蒂,弗朗西斯科;吉尔迪,西尔维奥;Sharygina,Natasha:一个新的基于加速的数组属性组合框架(2015)
  7. 德姆瑞,圣潘;达尔,阿米特库马尔;Sangnier,Arnaud:Taming past LTL和平板计数器系统(2015)
  8. 波兹加,马吕斯;Iosif,拉杜;Konečný,Filip:决定有条件终止(2014年)
  9. Demri,Stéphane:论VASS的选择性无界性(2013)
  10. 达朗道,菲利普;德姆瑞,圣潘;迈耶,罗兰;Morvan,Christophe:Petri网可达图:一阶属性的可判定状态(2012)
  11. 德姆瑞,圣潘;达尔,阿米特库马尔;Sangnier,Arnaud:Taming past LTL和平板计数器系统(2012)
  12. 菲茨克,阿诺;克鲁格洛夫,叶夫根尼;Weidenbach,Christoph:SUP(LA)中循环导数不变量的自动生成(2012)
  13. 加达鲁,威德;奥尔法,Mraihi;洛希奇,阿斯玛;吉拉尼,拉米娅·拉贝德;哈立德Bsaies;Ali Mili:回路分析的通用概念(2012)
  14. 霍杰特,侯赛因;科恩·金什(Konečný,菲利普);加尼尔,弗洛伦特;拉迪苏,如果;昆卡,维克托;Rümmer,Philipp:数字转换系统的验证工具包。工具书(2012)ioport公司
  15. 施拉梅尔,彼得;Jeannet,Bertrand:将抽象加速应用于反应式程序的(co-)可达性分析(2012)
  16. 乔伯特,雷米;Reynier,Pierre Alain:平面时间自动机的定量鲁棒性分析(2011)
  17. 波兹加,马吕斯;Iosif,拉杜;Konečný,Filip:最终周期关系的快速加速(2010)
  18. 波兹加,马吕斯;Gîrlea,Codruţa;Iosif,Radu:迭代八角形(2009)


更多出版物请访问:http://www-verimag.imag.fr/Publications-by-years,255.html?lang=en