中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes 期刊论文 OAI收割 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016, 卷号: 25, 期号: 3 He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2016/12/09 Compositional verification probabilistic model checking algorithmic learning
	ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS 期刊论文 OAI收割 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 卷号: 24, 期号: 4, 页码: 419-444 Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2014/12/16 Assume-guarantee reasoning compositional model checking distributed system
	ltl model checking via search space partition 会议论文 OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/07/28 LTL model checking complexity reduction compositional verification memory requirement nondeterministic choice search space partition state space explosion computational complexity formal verification search problems
	ltl model checking via search space partition 会议论文 OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/07/28 LTL model checking complexity reduction compositional verification memory requirement nondeterministic choice search space partition state space explosion computational complexity formal verification search problems