QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 Efficient Predicate Analysis of MISRA-C Programs 会议论文 PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015), 2015-01-01 作者:  Gao, Feng;  Li, Li;  Luo, Jie 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 MISRA-C  Predicate Abstraction  Lazy Abstraction  CEGAR  Imperative Predicates   Service Reconfiguration Architecture Based on Probabilistic Modeling Checking 会议论文 2014 IEEE 21ST INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2014), 2014-01-01 作者:  Gao, Honghao[1];  Miao, Huaikou[2];  Zeng, Hongwei[3] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/30 SOA  Service Reconfiguration  Probabilistic Modeling Checking  Service Selection  Compatibility  CEGAR   Incremental bisimulation abstraction refinement 会议论文 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013 Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3) 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Algorithms  Experimentation  Verification  Bisimulation  CEGAR  probabilistic automata   基于Verds的C语言子集的模型检测方法 期刊论文 计算机系统应用, 2013, 期号: 11, 页码: 19-25,18 张兰兰 收藏  |  浏览/下载：6/0  |  提交时间：2014/12/16 模型检测  转化  Verds  CEGAR  MAGIC  model checking  tranform  Verds  CEGAR  MAGIC   基于CEGAR偏序化简的并行程序死锁检测 期刊论文 2010, 2010 梁中兴; 罗贵明; 旷宏斌; LIANG Zhong-xing; LUO Gui-ming; KUANG Hong-bin 收藏  |  浏览/下载：2/0