PSL的有界模型检验

您当前的位置：

首页 >

文章列表页 >

PSL的有界模型检验

论文 | 更新时间：2025-07-16

上一篇|下一篇

- PSL的有界模型检验
- Bounded Model Checking of PSL
- 虞蕾，赵宗涛
- 电子学报 2009年37卷第3期页码：614-621
- 作者机构：
  1. 国防科学技术大学计算机学院博士后流动站,湖南,长沙,410073
  2. 第二炮兵工程学院计算机系,陕西,西安,710025
  3. 国防科学技术大学计算机学院博士后流动站湖南长沙,410073
  4. 第二炮兵工程学院计算机系陕西西安,710025
- 作者简介：
- 基金信息：
  国家高技术研究发展计划 (863计划)课题 (No.2007AA010301);国家自然科学基金 (No.60503032);中国博士后科学基金 (No.20080431401)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

69

浏览量

956

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

面向工业多时间尺度软测量的时序解耦与度量对齐Transformer模型

知识增强的区域关联图像解说生成方法

面向扇出型晶圆级封装的芯片间RDL布线算法

面向低空无人机监测的3D MIMO OTFS通信感知一体化方法

CloAct：基于克隆关系和模体的关键类识别方法

相关作者

暂无数据

相关机构

暂无数据