LDPChecker——一个实时和混成系统模型检验工具.pdfVIP

计算机研究与发展 ／ ／ !# $%%%$’() *# $$$+++ ,- （）： ， ./01234/5*/6 0891:9;931=32?9@94/6928 A’ $ (B!AC ’%%D 7 7 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ———一个实时和混成系统模型检验工具 !#$%’() 裴 玉 李宣东 郑国梁 （南京大学计算机软件新技术国家重点实验室 南京 ） ’$%%)( （南京大学计算机科学与技术系 南京 ）