Combining static analysis and case-based search space partitioning for reducing peak memory in model checking期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Combining static analysis and case-based search space partitioning for reducing peak memory in model checking

Authors:	Zhang?WenHui? author-information" > author-information__contact u-icon-before" > mailto:zwh@ios.ac.cn" title=" zwh@ios.ac.cn" itemprop=" email" data-track=" click" data-track-action=" Email author" data-track-label=" " >Email author

Affiliation:	(1) Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, 100080 Beijing, P.R. China

Abstract:

Keywords:	model checking static analysis search space partitioning spin protocol verifi- cation
本文献已被 CNKI 维普万方数据 SpringerLink 等数据库收录！
	点击此处可从《计算机科学技术学报》浏览原始摘要信息
	点击此处可从《计算机科学技术学报》下载免费的PDF全文