CAFEOBO

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


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

显示结果21至40的162。
按年份排序(引文
  1. MeeGuer-Joeik;Skiikk,史蒂芬:初等排序代数中的等式公式和模式运算(2015)
  2. 阿尔斯通,马里亚;埃斯科巴,圣地亚哥;埃斯佩特,哈维尔;梅塞格尔,约瑟夫:一种模序排序的等值泛化算法(2014)
  3. Belzner,楞次;De Nicola,罗科;范丁,安德列;Wirsing,马丁:重写逻辑中的服务组件集成的推理(2014)伊波尔特
  4. Diaconescu,R ZZVA:CAFEOBO踪迹(2014)
  5. Diaconescu,R·ZVAN;Uüu,IONU:构造行为规范的基础(2014)
  6. 杜拉恩,弗朗西斯科;Rold,曼努埃尔;莫雷诺,安东尼奥;LavaRz,JeaseMaia: UML模型的Mod原型的动态验证(2014)伊波尔特
  7. Giin in,丹尼尔:强迫、向下Lo.WehanHeim-Skulm和省略型定理,从体制上看(2014)
  8. 丹尼尔,Lucanu,Delel. Ogeta,Kazuhiro;FutaSuGi,Kokichi:OTS/CAFEOBJ方法的自动化(2014)
  9. Haxthausen,Anne E.:强制RSL规范的机构(2014)
  10. Ksystra,卡特琳娜;Stfeaas,Pitos;Frangos,PANYOYTIS:一种基于反应规则的智能代理建模的代数框架(2014)
  11. 马丁斯,Manuel A.;马德拉群岛,亚历山大;巴博萨,卢·S:逻辑解释在程序开发中的作用(2014)
  12. Mossakowski,直到;爪哇OWSKI,WieS.AW;Shanela,唐纳德;TaelkKi,ANDRZJ: CAFEOBO逻辑的分页(2014)
  13. 那卡继玛,申:OBJ语言家族的永恒挑战(2014)伊波尔特
  14. Ogata,Kazuhiro;FutaSuGi,Kokichi:基于OTSS重写理论规范的证明分数定理证明(2014)
  15. 罗查,CAMILO;MeeGuer-Joe:使用Maod不变分析器工具对交替比特协议中可靠通信的力学分析(2014)
  16. Ruangu,Grigur. Luaunu,Doel:行为改写系统和行为生产力(2014)
  17. Stefaneas,Pitos;UraNOS,IAkovs;Trand TaffyLou,NikoaOS;KyStrua,卡特琳娜:OTS/CAFEOBJ方法的一些工程应用(2014)伊波尔特
  18. uüu,iNuu:抽象结构规范的参数化(2014)
  19. 张,闵;奥加塔,Kazuhiro;FutaSuGi,Kokichi:在OTS/CAFEOBJ方法中验证动态软件更新的设计(2014)
  20. 赵,永新;Dong,劲松;刘,杨;孙,军:走向CAFEOBO和PAT的组合(2014)