|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2011 Fifth International Conference on Theoretical Aspects of Software Engineering
Model Checking for Protocols Using Verds
Xi'an, Shaanxi China
August 29-August 31
ISBN: 978-0-7695-4506-6
| ASCII Text | x | ||
| Ming Ma, "Model Checking for Protocols Using Verds," 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, pp. 231-234, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/TASE.2011.17, author = {Ming Ma}, title = {Model Checking for Protocols Using Verds}, journal ={2012 Sixth International Symposium on Theoretical Aspects of Software Engineering}, volume = {0}, year = {2011}, isbn = {978-0-7695-4506-6}, pages = {231-234}, doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2011.17}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering TI - Model Checking for Protocols Using Verds SN - 978-0-7695-4506-6 SP231 EP234 A1 - Ming Ma, PY - 2011 KW - model checking KW - protocol verification KW - Verds VL - 0 JA - 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2011.17
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.
Index Terms:
model checking, protocol verification, Verds
Citation:
Ming Ma, "Model Checking for Protocols Using Verds," tase, pp.231-234, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011
Usage of this product signifies your acceptance of the Terms of Use.