一种用于循环程序形式化验证的划分归纳方法

钟杨宋国新计春雷

华东理工大学学报（自然科学版）2008，Vol.34Issue(6)：834-836,3.

A Partition Induction for the Formal Verification of Loop Programs

钟杨 ¹宋国新 ¹计春雷¹

作者信息

软件可靠性/形式化验证/划分算法/划分归纳方法

信息技术与安全科学

钟杨,宋国新,计春雷..一种用于循环程序形式化验证的划分归纳方法[J].华东理工大学学报（自然科学版）,2008,34(6):834-836,3.

国家自然科学基金(60473055) （60473055）

OA北大核心CHSSCDCSCDCSTPCD

ISSN：1006-3080

访问量0

下载量0

段落导航