新概念循环不变式及其自动探测技术研究

61472167
2014
F0203.软件理论、软件工程与服务
薛锦云
面上项目
教授
江西师范大学
82万元
程序正确性;软件验证;自动探测技术;程序分析;循环不变式
2015-01-01到2018-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Orchestration Combinators in Apla+ Lanugge(EI收录号:20171703613263) 会议论文 游珍;薛锦云
2 Genericity in PAR Platform 期刊论文 Xue Jinyun
3 在建模语言Apla中实现多媒体数据库应用的方法研究 期刊论文 朱小征;薛锦云;夏鲸;熊小舟
4 PAR平台中若干软件构件形式化验证技术研究 期刊论文 胡启敏;薛锦云;游珍
5 PAR: A Practicable Formal Method and Its Supporting Platform 会议论文 Jinyun Xue;Yujun Zheng;Qimin Hu;Zhen You;Wuping Xie;Zhuo Cheng
6 Researchon Formal Development ofNon-recursive Algorithms of Graph Search 会议论文 Hu qimin;Xue Jinyun;You Zhen
7 Transaction在PAR平台中的实现方法及应用研究 期刊论文 朱小征;薛锦云;徐华珍
8 Formal development of Linear Structure Reusable Components in PAR Platform 会议论文 胡启敏;薛锦云;游珍
9 无线射频RFID识别协议自动验证方法研究 期刊论文 宋岚;薛锦云;胡启敏;谢武平;江东明
10 Formal Semantics of Orc Based on TLA+ 会议论文 Zhen You;Jinyun Xue;Qimin Hu;Yi Hong
11 Formal Specification and Verification for Real-time Scheduling Based on PAR 会议论文 游珍;程着;薛锦云;胡启敏;谢武平
12 Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover 会议论文 Huazhen Xu;Zhen You;Jinyun Xue
13 Verifying OSEK/VDX automotive applications: A Spin-based model checking approach 期刊论文 Zhang Haitao;Li Guoqiang;Cheng Zhuo;Xue Jinyun
14 第八届中国大学生服务外包创新创业大赛 奖励 薛锦云
15 跨媒体组合方法研究 期刊论文 张际博;薛锦云;汪雄;夏鲸;熊小舟
16 Poster: An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property 会议论文 Zhang Haitao;Li Guoqiang;Li Xiaohong;Cheng Zhuo;Xue Jinyun;Liu Shaoying
17 Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms(SCI收录号:WOS:000388972000035) 期刊论文 游珍;薛锦云;左正康
18 基于Web Service和多媒体数据库技术的PAR方法在线自学系统的设计与实现 期刊论文 熊小舟;薛锦云
19 Apla→Java程序生成系统中泛型机制实现方法研究 期刊论文 徐华珍;薛锦云;朱小征
20 A Pythagorean-Type Fuzzy Deep Denoising Autoencoder for Industrial Accident Early Warning 期刊论文 Yu-Jun Zheng;Sheng-Yong Chen;Yu Xue;Jin-Yun Xue
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享