一种基于程序可达图的并发程序依赖性分析方法

您当前的位置：

首页 >

文章列表页 >

一种基于程序可达图的并发程序依赖性分析方法

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

上一篇|下一篇

- 一种基于程序可达图的并发程序依赖性分析方法
- An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs
- 戚晓芳，徐宝文，周晓宇
- 电子学报 2007年35卷第2期页码：287-291
- 作者机构：
  1. 东南大学计算机科学与工程学院,江苏,南京,210096
  2. 江苏省软件质量研究所,江苏,南京,210096
  3. 东南大学计算机科学与工程学院江苏南京,210096
  4. 江苏省软件质量研究所江苏南京,210096
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.60373066,No.60425206)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

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

摘要

Abstract

关键词

Keywords

references

48

浏览量

1725

下载量

0

CSCD

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

提交

工具集

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

关联资源

相关文章

一种基于IR模拟执行的密码学API误用检测方法

P-Slicer：面向路径表示学习的程序切片方法

基于Petri网的安全协议形式化分析

应急场景无人机辅助实时视频传输联合优化策略

基于非均匀随机相位映射的抗截获通信波形研究

相关作者

彭国军

傅建明

聂宇

占力戈

何亚非

计卫星

叶嘉威

石剑君

相关机构

武汉大学国家网络安全学院

空天信息安全与可信计算教育部重点实验室

北京理工大学计算机学院

北京师范大学人工智能学院

空天信息安全与可信计算教育部重点实验室