西安电子科技大学学报（自然科学版）2010，Vol.37Issue(1)：96-101,6.DOI:10.3969/j.issn.1001-2400.2010.01.017
MSVL语言的公理系统的程序验证
Verification of programs based on an axiom system for the MSVL language
摘要
关键词
形式验证/时序逻辑/正则形/安全性/公理系统Key words
verification/temporal logic/normal form/safety/axiom system分类
信息技术与安全科学引用本文复制引用
杨潇潇,段振华..MSVL语言的公理系统的程序验证[J].西安电子科技大学学报（自然科学版）,2010,37(1):96-101,6.基金项目
国家自然科学基金资助项目(60873018) （60873018）
国家自然科学基金重点资助项目(60433010) （60433010）
