• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
基于量化布尔公式的超时态计算树逻辑有界模型检测
明志勇1, 2, 3, 王以松2, 3, 冯仁艳4
Bounded model checking of HyperCTL* based on QBF
MING Zhiyong1, 2, 3, WANG Yisong2, 3, FENG Renyan4
计算机工程与科学 . 2025, (6): 1062 -1070 . 

湘公网安备 43010502000083号

湘ICP备10006030号

版权所有 © 《计算机工程与科学》 编辑部

地址：中国湖南省长沙市开福区德雅路109号（410073）　电话：0731-87002567　Email: jsjgcykx@vip.163.com

本系统由北京玛格泰克科技发展有限公司设计开发　技术支持：support@magtech.com.cn