FDR3型

FDR3-一个现代的CSP优化检查器。FDR3是CSP优化检查器FDR2的完全重写,包含了大量的增强功能。在这篇文章中,我们描述了FDR3的高水平操作,然后详细描述了它的几个更重要的创新。这包括新的多核优化检查算法,它能够实现随着核心数量的增加而接近线性的速度。此外,我们描述了FDR3用来构造CSP进程的内部表示的新算法该算法比FDR2算法更有效,并且能够将一大类CSP进程编译成更有效的内部表示。我们还展示了将FDR3与相关工具进行比较的实验结果,这表明FDR3在能够扩展到超出主内存范围方面是独一无二的(据我们所知)


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

显示第23到第1个结果。
按年份排序(引用)
  1. 拉沃,莫里斯;格罗特,简·弗里索;威廉,蒂姆A。C、 :精确检查的正确有效的反链算法(2021)
  2. 梅斯特尔,大卫;罗斯科,A。W、 :在并发模型之间转换(2020年)
  3. 安东尼诺,佩德罗;吉布森·罗宾逊,托马斯;罗斯科,A。W、 :使用基于局部分析的近似值和SAT解算对并行系统进行有效验证(2019年)
  4. 洛伦斯,M。;奥利弗,J。;席尔瓦,J。;Tamarit,S.:跟踪CSP计算(2019年)
  5. Lowe,Gavin:发现和纠正通道实现中的死锁(2019)
  6. 马姆索勒,迭戈;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019)
  7. van Glabbeek,Rob:《确保分布式系统的活跃性:开放问题》(2019)
  8. 克里夫兰,兰斯;罗斯科,A。W、 。;Smolka,Scott A.:过程代数与模型检验(2018)
  9. Conserva Filho,M。S、 。;奥利维拉,M。五。M、 。;桑帕约,A。;安娜州卡瓦尔坎蒂:CSP的成分和局部livelock分析(2018年)
  10. 穆勒,彼得(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  11. 佩德森,一月二日。;韦尔奇,彼得H.:并发与验证的共生:教学与案例研究(2018)
  12. 安东尼诺,佩德罗;吉布森·罗宾逊,托马斯;罗斯科,A。W、 :使用SAT检查自动检测令牌结构和不变量(2017)
  13. 达尔斯加德,安德烈亚斯E。;恩沃尔森,瑟伦;福格,彼得;詹森,小姑娘。;杰森,托比亚斯S。;考夫曼,伊莎贝拉;拉森,金G。;尼尔森,Søren M。;奥列森,马德斯克瑞。;塞缪尔,帕斯瓦;Srba,Jiří:扩展依赖图和高效分布式不动点计算(2017)
  14. 布尔加科夫,亚历山大;吉布森·罗宾逊,托马斯;罗斯科,A。W、 :计算最大弱和其他交互模拟(2016)
  15. 安娜,卡瓦尔康蒂;伍德考克,吉姆;Amálio,Nuno:FMI联合模拟的行为模型(2016)
  16. 尼尔斯,Jähnig;哥德尔,托马斯;Glesner,Sabine:基于改进的非结构化代码通信验证(2016)
  17. 梅斯特尔,大卫;罗斯科,A。W、 :通过优先级将复杂的CSP模型简化为跟踪(2016年)
  18. 奥利维拉,马塞尔五世。M、 。;安东尼诺,P。;拉莫斯,R。;桑帕约,A。;莫塔,A。;罗斯科,A。W、 :使用组件元数据和模式严格开发基于组件的系统(2016年)
  19. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  20. 加雷维尔,休伯特;朗,弗里德里克;Mateescu,Radu:使用CADP对异步并发系统进行组合验证(2015)