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

ISCAS OpenIR

	combining static analysis and case-based search space partitioning for reducing peak memory in model checking
	Zhang WH
	2003
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	18 期号:6 页码:762-770
收录类别	sci ; acm
关键词	Model Checking Static Analysis Search Space Partitioning Spin Protocol Verification
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
学科领域	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13182
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhang WH. combining static analysis and case-based search space partitioning for reducing peak memory in model checking[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2003,18(6):762-770.
APA	Zhang WH.(2003).combining static analysis and case-based search space partitioning for reducing peak memory in model checking.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,18(6),762-770.
MLA	Zhang WH."combining static analysis and case-based search space partitioning for reducing peak memory in model checking".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 18.6(2003):762-770.