CSP2B

CSP2B:一种将CSP和B相结合的实用方法。本文描述了工具CSP2B,它提供了一种将CSP类描述与标准B规范相结合的方法。CSP的符号提供了一种描述B机操作可能发生的顺序的方便方法。该工具的功能是将CSP类规格转换成标准机器可读的B规范,这意味着它们可以被动画化,并且可以产生适当的证明义务。CSP2B的使用意味着抽象的规范和改进可以纯粹使用CSP或使用CSP和B的组合来指定。


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

显示结果1至20的21。
按年份排序(引文
  1. Salehi Fathabadi,Asieh;巴特勒,米迦勒;ReZaZADh,AbdoBajH:事件-B(2015)事件细化结构的语言和工具支持伊波尔特
  2. 波斯特罗姆,庞特斯;德格伦德,Fredrik;塞尔,凯萨;沃尔德,马里纳:事件B模型逐步排序的并发程序推导(2014)
  3. Schneider,史提夫;TeHurne,海伦;Wehrheim,黑克:事件B精炼的行为语义(2014)
  4. 卡瓦尔坎蒂,阿纳河;Gaudel,Marie Claude:文本细化测试(2011)
  5. Schneider,史提夫;TeHurne,海伦:不断改变系统接口:CSP(*)B(2011)的一种新的细化策略
  6. 郎,弗雷德里克;Sala·U,格温;H·Reier-R,ReMI;克莱默,杰夫;麻吉,杰夫:将FSP翻译成Lotos和自动机网络(2010)
  7. Frikin,BeoNo.t;Frabiver,贾景晖:过程表达式的高效符号计算(2009)
  8. Leuschel,米迦勒;巴特勒,米迦勒:PROB:B方法的自动化分析工具集(2008)伊波尔特
  9. 琼斯,Cliff B.:通过操作语义学理解编程语言概念(2007)
  10. 罗夫,Christopher A.;Hinchey,Michael G.;Truszkowski,Walter F.;皮疹,James L.:应用形式化方法在基于群体的空间探测系统开发中的经验(2006)伊波尔特
  11. 巴特勒、米迦勒、Leuschel、米迦勒:CSP与B相结合的规范与性质验证(2005)
  12. 伊万斯,尼尔;TeHurne,海伦:使用CSP和B(2005)研究文件传输协议伊波尔特
  13. Frikin,BeoNo.t;FrAPPIER,贾景晖;LaLaWe,ReGein:基于状态和事件的信息系统规范:B和EB(^ 3)(2005)的比较伊波尔特
  14. 摩根,卡罗尔:概率WP和CSP——和组合性(2005)
  15. Schneider,史提夫;TeHurne,海伦:通信B机的CSP定理(2005)
  16. 费雷拉,卡拉;巴特勒,米迦勒:用B精炼法分析补偿业务流程(2003)
  17. FrAPPER,贾景晖;Laloo,Reggin:证明信息系统的事件排序性质(2003)
  18. 贝勒加德、弗兰、贾可、Kouchnarenko、奥尔加:B(2002)事件系统的同步并行合成
  19. 巴特勒,米迦勒:数据加密在安全通信系统开发中的应用(2002)
  20. Reed,J. N.;辛克莱,J. E.:求精保护插件组件(2001)