CAFEOBO

CAFEOBO作为行为系统验证工具。我们报告了一个机器支持的方法来验证安全性能的动态系统的基础上的底层状态转移系统的一阶描述。通过状态谓词捕获一组状态,我们可以用谓词演算来验证无限状态系统的安全性质。


ZBMaX中的参考文献(162篇)1标准条款

显示结果1至20的162。
按年份排序(引文
  1. 杜拉恩,弗朗西斯科;梅塞格,约瑟夫;罗查,卡米洛:有序排序条件规范的公理汇合公理(2020)
  2. Iohara,Kenji(ED);Malbos,菲利普(ED);西都,Masa Hiko(ED);Takayama,Nobuki(ED):微分方程的两个代数旁路:Grübn-基和颤动(2019)
  3. 费雷里姆,伊莎贝尔;马丁斯,Manuel A.:隐藏逻辑的简要概述(2018)
  4. 卢卡斯,萨尔瓦多;古蒂雷斯,RA:顺序排序一阶理论的逻辑模型的自动综合(2018)
  5. 卢卡斯,萨尔瓦多;MeSeGuer-Joee;GuTyeRrz,Ra:L:条件重写系统的2D依赖对框架。I:定义和基本处理器(2018)
  6. G.In,丹尼尔:具有用户定义共享的混合逻辑的逻辑程序设计基础(2017)
  7. 卢卡斯,萨尔瓦多;MeeGuer-Joe:依赖条件对证明条件项重写系统的终止性质(2017)
  8. MeeGuer-Joee:条件重写模公理的严格相干性(2017)
  9. MeeGuer-Joeik;Skiikk,史蒂芬:初等排序代数中的等式公式和模式运算(2017)
  10. RiSeCo,阿德里安,OgATA,Kazuhiro;FutaTuGi,KKICHI:一个用于CAFEOBO的Mod环境(2017)
  11. Rigu,Gigig:匹配逻辑(2017)
  12. Diaconescu,R·ZVAN:一阶视图的功能语义(2016)
  13. 卢卡斯,萨尔瓦多;梅塞格,约瑟夫:条件重写中的正常形式和正常理论(2016)
  14. MeeGuer-Joe:顺序排序重写和同余合拢(2016)
  15. 艾哈迈德,Waqar;Hasan,奥斯曼:利用定理证明的形式化故障树分析(2015)
  16. FutaTuGi,Kokichi:用于验证CAFEOBJ中的转换系统的生成和检查方法(2015)
  17. G.In,丹尼尔;FutaSuGi,Kokichi:逻辑与构造函数的初始语义(2015)
  18. 克莱因,多米尼克:使用OTS/CAFEOBJ(2015)的关键保密性伊波尔特
  19. 李,雍建;庞,Jun:伊莎贝尔/HOL(2015)中形式化可证明匿名性
  20. 卢卡斯,萨尔瓦多:上下文敏感重写的完整性(2015)