CAFEOBO

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


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

显示结果121至140的162。
按年份排序(引文
  1. LuaNu,Delel:重写逻辑的轻松模型(2003)
  2. Mori,阿基拉;FutasuGi,Kokichi:CafeOBJ作为行为系统验证工具(2003)
  3. Ogata,Kazuhiro;FutaTuGi,Kokichi:(i)KP电子支付协议的缺陷和修改(2003)伊波尔特
  4. Rigu,Gigig:不隐藏的归纳行为证明(2003)
  5. BIDOIT,米歇尔;Hennicker,罗尔夫:可观察性与可达性概念的集成(2002)
  6. 布吕尼,罗伯托;蒙塔纳里,乌戈:并发的动态连接器(2002)
  7. 克拉维尔,M;Durn,F;Eker,S;Lincoln,P.;MARTIIO-OLIET,N: Maude:重写逻辑中的规范和编程(2002)
  8. Diaconescu,R·ZVA:格罗滕迪克机构(2002)
  9. Diaconescu,R·ZVAN;FutaSuGi,Kokichi:CAFEOBOR的逻辑基础(2002)
  10. Gadducci,法比奥;蒙大拿,UGO:比较重写逻辑:重写逻辑、动作计算器和瓦片逻辑(2002)
  11. Goguen,约瑟夫;马尔科姆,格兰特;Kemp,汤姆:一个隐藏的HeBrand定理:对象和逻辑范式的结合(2002)
  12. Goguen,约瑟夫;罗格,格里格:制度形态主义(2002)
  13. 马蒂奥利特,纳西索;梅塞格,乔斯:改写逻辑:路线图和目录学(2002)
  14. MeeGuer-Joee;Rosu,GRIGOR:一种部分代数规范的总体方法(2002)
  15. MeeGuer-Joee,Roüu,Gigig:迈向行为莫德:行为隶属等式逻辑(2002)
  16. MeeGuer-Joee;塔尔科特,卡洛琳:分布对象反射的语义模型(2002)
  17. Mossakowski,直到:将CASL与其他规范语言相关:机构级别。(2002)
  18. Peter Csaba,MeeGuer-Joe:重写逻辑中的实时和混合系统规范(2002)
  19. Goguen、Joseph A.、林、卡伊:基于Web的协同软件工程支持(2001)
  20. Nicol,乔奎恩;Toval,安布罗西奥;阿雷纳斯,奥雷利奥;阿尔卡尔德,胡安:原子分辨率显微镜控制和地形图的形式验证和验证(2001)