10.3969/j.issn.1000-3428.2007.09.017
形式化方法B的精化
形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统.给出了B方法精化的定义后,介绍了抽象机的精化过程与方法,结合实例分析了仅使用前向精化的普通精化规则的不完整性,通过引入反向精化提供了完备的精化理论,二者联合起来能够证明任何正确的精化.
形式化方法、广义代换、抽象机、前向精化、反向精化、证明义务
35
TP311(计算技术、计算机技术)
国家重点基础研究发展计划973计划2004CB719401;国家自然科学基金60542004
2007-06-25(万方平台首次上网日期,不代表论文的发表时间)
共3页
49-51