咖啡馆

CafeOBJ作为行为系统验证的工具。我们报告了一种基于底层状态转移系统的一阶描述的机器支持的验证动态系统安全性的方法。通过一个状态谓词捕捉一组状态,我们可以在集合论最小不动点迭代计算中使用谓词演算来验证无限状态系统的安全性。


zbMATH中的参考文献,1标准件)

显示167个结果中的1到20个。
按年份排序(引用)

1 2 ... 7 8 9 下一个

  1. 基于SCUR的正式语言验证(基于SCUR的规范)
  2. 德兰,弗朗西斯科;梅斯盖尔,何塞;罗查,卡米洛:有序有序条件规范的基本汇合模公理(2020)
  3. Găină,Daniel;Nakamura,Masaki;Ogata,Kazuhiro;Futatsugi,Kokichi:通过合并推出的终止稳定性和充分完整性(2020年)
  4. Iohara,Kenji(编辑);Malbos,Philippe(编辑);Saito,Masa Hiko(编辑);Takayama,Nobuki(编辑):微分方程的两个代数旁路:Gröbner基和quivers(2020)
  5. Găină,Daniel;Ţuţu,Ionuţ:混合动态一阶逻辑的Birkhoff完备性(2019)
  6. Hamana,Makoto:如何用二阶计算分析仪SOL证明方程理论的可判定性(2019)
  7. 费雷林,伊莎贝尔;马丁斯,曼努埃尔A.:隐藏逻辑的简要概述(2018)
  8. Lucas,萨尔瓦多;Gutiérrez,Raúl:有序排序一阶理论逻辑模型的自动合成(2018)
  9. Lucas,Salvador;Meseguer,José;Gutiérrez,Raúl:条件重写系统的2D依赖对框架。一: 定义和基本处理器(2018)
  10. Găină,丹尼尔:用户定义共享的混合逻辑中的逻辑编程基础(2017)
  11. Lucas,Salvador;Meseguer,José:证明条件项重写系统终止性质的依赖对(2017)
  12. Meseguer,José:条件重写模公理的严格一致性(2017)
  13. Meseguer,José;Skeirik,Stephen:初始序排序代数中的方程公式和模式运算(2017)
  14. Riesco,Adrián;Ogata,Kazuhiro:来自半正式证明文件的正式证明生成器(2017)
  15. Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017)
  16. Roşu,Grigore:匹配逻辑(2017)
  17. Diaconescu,Răzvan:一阶视图的函数语义(2016)
  18. Lucas,Salvador;Meseguer,José:条件重写中的范式和范式理论(2016)
  19. Meseguer,José:有序排序重写和同余闭包(2016)
  20. Ahmed,Waqar;Hasan,Osman:使用定理证明走向形式化故障树分析(2015)

1 2 ... 7 8 9 下一个