广义代换相关硕士博士期刊学术论文 - 搜论网

广义代换相关论文

形式化方法B的精化

形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统。给出了B方法精化的定义后,介绍了抽象机的精化过......

期刊

形式化方法广义代换抽象机前向精化反向精化证明义务 Formal method Generalized substitution Abstract ma

形式化方法B的证明技术

用形式化方法开发软件是提高软件可靠性和开发效率并实现其自动持从规约到实现的全过程开发工作.本文介绍了B方法的分层开发与证明......

期刊

形式化方法抽象机广义代换类型检查证明义务

看过本文同时还关注