FDR3型

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


zbMATH参考文献(参考 22篇文章

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. David Mestel;Roscoe,A.W.:并发模型之间的转换(2020)
  2. Antonino,Pedro;Gibson Robinson,Thomas;Roscoe,A.W.:使用基于局部分析的近似和SAT求解有效验证并发系统(2019)
  3. Llorens,M.;Oliver,J.;Silva,J.;Tamarit,S.:跟踪CSP计算(2019年)
  4. Lowe,Gavin:发现和纠正通道实现中的死锁(2019)
  5. Marmsoler,Diego;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019)
  6. van Glabbeek,Rob:《确保分布式系统的活跃性:开放问题》(2019)
  7. 兰斯,克里夫兰;罗斯科,A.W.;斯莫尔卡,斯科特A.:过程代数和模型检查(2018)
  8. Conserva Filho,M.S.;Oliveira,M.V.M.;Sampaio,A.;Cavalcanti,Ana:CSP的成分和局部livelock分析(2018年)
  9. Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  10. Pedersen,Jan B.;Welch,Peter H.:并发与验证的共生:教学与案例研究(2018)
  11. Antonino,Pedro;Gibson Robinson,Thomas;Roscoe,A.W.:使用SAT检查自动检测令牌结构和不变量(2017)
  12. 萨缪尔·奥尔森(Samuel Srsen,Jessen,Depended);萨缪尔·奥尔森(Samuel Srsen,Jessen);帕森斯·奥尔森(Samuel Srsen,Jessen);帕森斯·阿森(Samuel Srsen,Jelsen);帕森斯·阿森(Samuel Srsen,Jelsen);帕森斯·阿森(Samuel Srsen,Jelsen);卡森(Samuel-Solsen)等人;卡森(Samuel-Solsen)等人;帕森(Samuel-Solsen)等人
  13. Boulgakov,Alexandre;Gibson Robinson,Thomas;Roscoe,A.W.:计算最大弱和其他交互模拟(2016)
  14. 安娜州卡瓦尔坎蒂;伍德科克,吉姆;阿马里奥,努诺:FMI共同模拟的行为模型(2016年)
  15. Jähnig,Nils;Göthel,Thomas;Glesner,Sabine:基于精化的非结构化代码通信验证(2016)
  16. David Mestel;Roscoe,A.W.:通过优先级将复杂CSP模型简化为跟踪(2016年)
  17. Oliveira,Marcel V.M.;Antonino,P.;Ramos,R.;Sampaio,A.;Mota,A.;Roscoe,A.W.:使用组件元数据和模式严格开发基于组件的系统(2016年)
  18. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  19. Garavel,Hubert;Lang,Frédéric;Mateescu,Radu:使用CADP对异步并发系统的组合验证(2015)
  20. Roscoe,A.W.:CSP优先表达(2015)