QRDChecer个QRDC模型检验工具.docVIP

PAGE 364 Journal of Software 软件学报 2005,16(3)??? 裴玉 等:QRDChecker:一个QRDC模型检验工具 PAGE 363 Vol.16, No.3 ?2005 Journal of Software 软 件 学 报 1000-9825/2005/16(03)0355 QRDChecker:一个QRDC模型检验工具? ? Supported by the National Natural Science Foundation of China under Grant No(国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312001 (国家重点基础研究发展规划(973)) 作者简介: 裴玉(1977－),男,江苏盐城人,博士生,主要研究领域为形式方法,模型检验;徐启文(1963－),男,博士,助理教授,主要研究领域为形式方法;李宣东(1963－),男,博士,教授,博士生导师,主要研究领域为软件工程;郑国梁(1937－),男,教授,博士生导师,主要研究领域为软件工程. 裴 玉1+, 徐启文2, 李宣东1, 郑国梁1 1(南京大学 计算机科学与技术系,江苏 南京