基于ASP的CSP模型验证性质反例生成技术研究
기우ASP적CSP모형험증성질반례생성기술연구
Counterexample generation in ASP-based CSP model verification
  • 万方数据
    计算机应用研究 계산궤응용연구
    APPLICATION RESEARCH OF COMPUTERS
    2013年 1期 52-55 ,共4页

    王雪松%赵岭忠%张超

    왕설송%조령충%장초

    通信顺序进程%回答集编程%支撑原因 通信順序進程%迴答集編程%支撐原因
    통신순서진정%회답집편정%지탱원인
    为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架.主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术.把ASP程序调试中的ASP程序支撑原因分析技术应用于该问题的研究,提出了相应的反例生成算法,实例表明了该算法的正确性.
    위료해결당전통신순서진정(CSP)모형검측불지지재험증공구적일차운행중험증다개성질적문제,건립료기우ASP적CSP병발모형험증광가.주요연구재해광가하당대험증적계통성질불만족시생성상응성질반례적기술.파ASP정서조시중적ASP정서지탱원인분석기술응용우해문제적연구,제출료상응적반례생성산법,실례표명료해산법적정학성.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문