位置：成果数据库 > 期刊 > 期刊详情页
基于固定内存和状态管理的模型检测方法
  • ISSN号：1001-3695
  • 期刊名称：计算机应用研究
  • 时间：2011.6.6
  • 页码：2164-2167
  • 分类：TP31[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]电子科技大学计算机科学与工程学院,成都610054, [2]清华大学软件学院,北京100084
  • 相关基金：国家自然科学基金资助项目（61073033 60763004）
  • 相关项目：基于多智能体系统高效动态模型检测的大规模安全协议动态验证研究
作者： 吴立军|骆翔宇|
关键词： 形式化方法, 模型检测, 状态空间爆炸, 状态和内存管理, formal method, model checking, state explosion, management of state and memory
中文摘要：

在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测。

英文摘要：

Based on the investigation of the management for fixed memory and state,the paper presented a new approach of model checking,which made us to finish model checking of any scale system on any computer.

同期刊论文项目
基于时态认知逻辑的特征交互无界模型检测
期刊论文 24 会议论文 15
基于多智能体系统高效动态模型检测的大规模安全协议动态验证研究
期刊论文 9 会议论文 3
同项目期刊论文
Polynomial-Time Hierarchy of Computable Reals
基于动态内存和状态管理的模型检测新方法
Local Search with Edge Weighting and Configuration Checking Heuristics for Minimum Vertex Cover
Parallel and Complete Model Checking with Linear Complexity
Model Checking Cooperative Multi-agent Systems in BDI logic
NuMVC--An Efficient Local Search Algorithm for Minimum Vertex Cover
一种基于认知模型检测的Web服务组合验证方法
基于Verics的组合Web服务有界模型检测
一种执行代价较小的Web服务动态合成方法
Testing conformance of BPEL business process based on model checking
基于时间自动机的Web服务模型检测
Web服务的形式化验证
一种Web服务特征交互自动检测方法
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
Competent predicate abstraction in model checking
基于时态认知逻辑的Web服务模型检测
有界模型检测的优化
模型检测课程实践教学初探
Variable Forgetting in Reasoning about Knowledge
和与积数迷的符号化模型检测
一类具有“开端”结构的安全协议分析方法研究
模型检测课程建设初探
Test frame updating in CPM testing of Prolog programs
一种求解认知难题的模型检测方法
全局优化的分层动态Web服务组合
一种Web服务组合的认知模型检测方法
基于ZING的Web服务建模与验证
基于智能体的OWL-S过程模型验证
期刊信息
  • 《计算机应用研究》
  • 北大核心期刊（2011版）
  • 主管单位:四川省科学技术厅
  • 主办单位:四川省计算机研究院
  • 主编：刘营
  • 地址：成都市成科西路3号
  • 邮编：610041
  • 邮箱：arocmag@163.com
  • 电话：028-85210177 85249567
  • 国际标准刊号：ISSN：1001-3695
  • 国内统一刊号：ISSN：51-1196/TP
  • 邮发代号:62-68
  • 获奖情况:
  • 第二届国家期刊奖百种重点科技期刊,国内计算技术类重点核心期刊,国内外著名数据库收录期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:60049