咖啡馆

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


zbMATH参考文献(参考 163篇,1标准件)

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

1 2 ... 7 8 9 下一个

  1. Diaconescu,Răzvan:引入(H),一种基于机构的正式规范和验证语言(2020)
  2. 德兰,弗朗西斯科;梅斯盖尔,何塞;罗查,卡米洛:有序有序条件规范的基本汇合模公理(2020)
  3. Iohara,Kenji(编辑);Malbos,Philippe(编辑);Saito,Masa Hiko(编辑);Takayama,Nobuki(编辑):微分方程的两个代数旁路:Gröbner基和quivers(2020)
  4. 马丁内尔·马丁内尔·马丁内尔(Manuisael,2018)简介
  5. Lucas,萨尔瓦多;Gutiérrez,Raúl:有序排序一阶理论逻辑模型的自动合成(2018)
  6. Lucas,Salvador;Meseguer,José;Gutiérrez,Raúl:条件重写系统的2D依赖对框架。一: 定义和基本处理器(2018)
  7. Găină,丹尼尔:用户定义共享的混合逻辑中的逻辑编程基础(2017)
  8. Lucas,Salvador;Meseguer,José:证明条件项重写系统终止性质的依赖对(2017)
  9. Meseguer,José:条件重写模公理的严格一致性(2017)
  10. Meseguer,José;Skeirik,Stephen:初始序排序代数中的方程公式和模式运算(2017)
  11. Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017)
  12. Roşu,Grigore:匹配逻辑(2017)
  13. Diaconescu,Răzvan:一阶视图的函数语义(2016)
  14. Lucas,Salvador;Meseguer,José:条件重写中的范式和范式理论(2016)
  15. Meseguer,José:有序排序重写和同余闭包(2016)
  16. Ahmed,Waqar;Hasan,Osman:使用定理证明走向形式化故障树分析(2015)
  17. Futatsugi,Kokichi:用于验证CafeOBJ过渡系统的生成和检查方法(2015)
  18. Găină,Daniel;Futatsugi,Kokichi:带构造器的逻辑中的初始语义(2015)
  19. Klein,Dominik:PACE与OTS/CafeOBJ的关键秘密(2015)ioport公司
  20. Li,Yongjian;Pang,Jun:Isabelle/HOL中可证明匿名性的形式化(2015)

1 2 ... 7 8 9 下一个