model checking for protocols using verds

ISCAS OpenIR

	model checking for protocols using verds
	Ma Ming
	2011
会议名称	5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
会议录名称	Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
页码	231-234
会议日期	August 29,
会议地点	Xi'an, Shaanxi, China
收录类别	EI
ISBN	9780769545066
部门归属	(1) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China; (2) Graduate University Chinese Academy of Sciences Beijing 100049 China
摘要	We present the techniques of ternary boolean diagram-based model checking together with bounded semantics model checking used in the model checker called Verds, which is developed in our laboratory. In the experiment of protocol verification under different scenarios, we compare the performance of Verds against those of model checkers CMurphi and NuSMV, showing that Verds overall compares favorably to NuSMV and CMurphi. © 2011 IEEE.; We present the techniques of ternary boolean diagram-based model checking together with bounded semantics model checking used in the model checker called Verds, which is developed in our laboratory. In the experiment of protocol verification under different scenarios, we compare the performance of Verds against those of model checkers CMurphi and NuSMV, showing that Verds overall compares favorably to NuSMV and CMurphi. © 2011 IEEE.
关键词	Semantics Software Engineering
主办者	IEEE CS; IFIP
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16225
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Ma Ming. model checking for protocols using verds[C],2011:231-234.