位置：成果数据库 > 著作 > 著作详情页
基于spin/promela的并发系统验证
  • 所属机构名称：江西师范大学
  • 成果类型：著作
  • 出版社：《计算机科学》,2004年第8期(国内科技核心期刊)
  • 语言：中文
  • 相关项目：基于PAR方法的算法设计形式化和自动化研究
作者： 肖美华|薛锦云|
同著作项目
基于PAR方法的算法设计形式化和自动化研究
期刊论文 23 著作 17
同项目著作
一种将设计模式用于程序精化演算的并行程序设计方法研究
遗传算法机理的研究与应用
UNITY与典型程序设计模型的比较
基于PAR方法的智能教学软件平台在树图算法教学中的应用
形式化方法B及其程序规约机理
程序规约变换技术在程序设计中的应用
Toward a unified implementation for dynamic programming
循环不变式开发新策略及其应用
依赖注入技术及其执行过程的形式化描述
MISCE A Semi-Automatic Development Environment for Logisitc information Systems
Spec#语言中的形式化特性
基于模型检测技术的网络安全协议形式化分析研究
时态逻辑形式化描述并发系统性质
由程序规约推导程序
Agent技术在程序设计智能教学系统中的应用
面向装备联勤保障的约束程序设计框架