model checking for protocols using verds

ISCAS OpenIR

	model checking for protocols using verds
	Ma Ming
	2011
Conference Name	5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
Source	Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
Pages	231-234
Conference Date	August 29,
Conference Place	Xi'an, Shaanxi, China
Indexed Type	EI
ISBN	9780769545066
Department	(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
English Abstract	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.
Keyword	Semantics Software Engineering
Sponsorship	IEEE CS; IFIP
Language	英语
Content Type	会议论文
URI	http://ir.iscas.ac.cn/handle/311060/16225
Collection	中国科学院软件研究所
Recommended Citation GB/T 7714	Ma Ming. model checking for protocols using verds[C],2011:231-234.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库