位置：成果数据库 > 期刊 > 期刊详情页
Competent predicate abstraction in model checking
  • ISSN号：1674-733X
  • 期刊名称：Science China-Information Sciences
  • 时间：0
  • 页码：487-492
  • 语言：英文
  • 相关项目：基于时态认知逻辑的特征交互无界模型检测
作者： SONG XiaoYu|GU Ming|LI Li|LUO XiangYu|
同期刊论文项目
基于时态认知逻辑的特征交互无界模型检测
期刊论文 24 会议论文 15
同项目期刊论文
基于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
基于时态认知逻辑的Web服务模型检测
有界模型检测的优化
模型检测课程实践教学初探
Variable Forgetting in Reasoning about Knowledge
基于固定内存和状态管理的模型检测方法
和与积数迷的符号化模型检测
一类具有“开端”结构的安全协议分析方法研究
模型检测课程建设初探
Test frame updating in CPM testing of Prolog programs
一种求解认知难题的模型检测方法
全局优化的分层动态Web服务组合
一种Web服务组合的认知模型检测方法
基于ZING的Web服务建模与验证
基于智能体的OWL-S过程模型验证