一个抽象机库中B方法的研究

作者：杨丹; 梁洪峻b方法抽象机精化证明义务

摘要：B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述。验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社