计算机与数字工程2021，Vol.49Issue(3)：496-501,520,7.DOI:10.3969/j.issn.1672-9722.2021.03.015
基于符号模型检测的Web服务组合形式化验证
Formal Verification of Web Service Composition Based on Symbolic Model Checking
摘要
关键词
Web服务组合/符号模型检测/有限状态自动机/形式化定义/NuSMV分类
信息技术与安全科学引用本文复制引用
张世杰,徐鹏,刘沛瑶..基于符号模型检测的Web服务组合形式化验证[J].计算机与数字工程,2021,49(3):496-501,520,7.基金项目
国家自然科学基金项目"基于矛盾体分离的动态自动演绎推理研究"(编号:61673320) （编号:61673320）
四川省教育厅项目(编号:18ZB0589)资助. （编号:18ZB0589）
