|国家科技期刊平台
| 注册
首页|期刊导航|郑州大学学报（理学版）|多值交互时序逻辑的模型检验研究

多值交互时序逻辑的模型检验研究

凌灿红 常亮 周洁 潘海玉

郑州大学学报（理学版）2025，Vol.57Issue(2)：P.78-84,7.
✕
郑州大学学报（理学版）2025，Vol.57Issue(2)：P.78-84,7.DOI:10.13705/j.issn.1671-6841.2023192

多值交互时序逻辑的模型检验研究

凌灿红 1常亮 1周洁 2潘海玉1

作者信息

  • 1. 桂林电子科技大学广西可信软件重点实验室,广西桂林541004
  • 2. 上海师范大学数理学院,上海200234
  • 折叠

摘要

关键词

模型检验/多值逻辑/交互时序逻辑/并发博弈结构

分类

信息技术与安全科学

引用本文复制引用

凌灿红,常亮,周洁,潘海玉..多值交互时序逻辑的模型检验研究[J].郑州大学学报（理学版）,2025,57(2):P.78-84,7.

基金项目

国家自然科学基金项目(61966009,62162014)。 （61966009,62162014）

郑州大学学报（理学版）

OA北大核心

1671-6841

访问量4
|
下载量0
段落导航相关论文