CAFEOBO

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


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

显示结果41至60的162。
按年份排序(引文
  1. Uüu,Riuuu:结构化机构的同构(2013)
  2. Diaconescu,R·ZVA:借用插值(2012)
  3. Diaconescu,R·ZVAN:构造规范的公理化方法(2012)
  4. FutaSuGi,Kokichi;G in in,丹尼尔;OgaTa,Kazuhiro:CAFEOBO(2012)中的证明分数原则
  5. 梅塞格,乔斯:重写逻辑的二十年(2012)
  6. Ouranos,Ikovs;OgTaA,Kazuhiro;Stfayas,Potos:ToSLA协议在定时OTS/CAFEOBJ方法中的形式化分析(2012)伊波尔特
  7. Salnela,唐纳德;TaelkKi,ANDRZJ:代数规范和形式化软件开发的基础。(2012)
  8. 从计算机科学到信息科学的领域科学和工程。科学(2011)
  9. Codescu,米哈伊;莫萨科夫斯,直到;里斯科,阿德里安;Maeder,克里斯蒂安:把莫德融入HETS(2011)
  10. Diaconescu,R·ZVAN:机构中的结构归纳法(2011)
  11. Diaconescu,R.Zva:序代数的共归纳(2011)
  12. Diaconescu,R·ZVAN;Uüu,IONU:结构规范代数(2011)
  13. MeeGuer-Joee,Roüu,Grigo:重写逻辑语义项目:进度报告(2011)
  14. 阿尔卡恩,Beatriz;卢卡斯,萨尔瓦多;MeSeGuer-Joe::(AVEC)终止的依赖对框架(2010)
  15. 从计算机科学到信息科学的领域科学和工程。I:工程学(2010)
  16. 领域工程(2010)
  17. Diaconescu,R·ZVAN:代数规范中的拟布尔编码和条件(2010)
  18. Diaconescu,R·ZVAN;Petri,马吕斯:机构饱和模型(2010)
  19. 卢卡斯,萨尔瓦多:在上下文敏感的依赖对框架中证明终止(2010)
  20. 梅塞格,约瑟夫;帕洛米诺,米格尔;MARITIO-OLIET,纳西索:代数模拟(2010)