浙江大学学报（理学版）2006，Vol.33Issue(4)：403-407,5.
一种形式化验证方法:模型检验
A formal verification method: model checking
摘要
关键词
模型检验/Kripke结构/CTL逻辑/标记/固定点/符号模型检验分类
信息技术与安全科学引用本文复制引用
杨军,葛海通,郑飞君,严晓浪..一种形式化验证方法:模型检验[J].浙江大学学报（理学版）,2006,33(4):403-407,5.基金项目
国家自然科学基金资助项目(No.90207002). （No.90207002）
