Tools and Techniques for Model Checking Networked Programs

August 06-August 08

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/SNPD.2008.36

2008 Ninth ACIS International Confere ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Cyrille Artho Articles by Watcharin Leungwattanakit Articles by Masami Hagiya Articles by Yoshinori Tanabe

	ASCII Text	x
	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, "Tools and Techniques for Model Checking Networked Programs," Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on, pp. 852-857, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008.

	BibTex	x
	@article{ 10.1109/SNPD.2008.36, author = {Cyrille Artho and Watcharin Leungwattanakit and Masami Hagiya and Yoshinori Tanabe}, title = {Tools and Techniques for Model Checking Networked Programs}, journal ={Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on}, volume = {0}, year = {2008}, isbn = {978-0-7695-3263-9}, pages = {852-857}, doi = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2008.36}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on TI - Tools and Techniques for Model Checking Networked Programs SN - 978-0-7695-3263-9 SP852 EP857 A1 - Cyrille Artho, A1 - Watcharin Leungwattanakit, A1 - Masami Hagiya, A1 - Yoshinori Tanabe, PY - 2008 KW - Software model checking KW - software verification KW - networking KW - inter-process communication VL - 0 JA - Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on ER -

Cyrille Artho

Watcharin Leungwattanakit

Masami Hagiya

Yoshinori Tanabe

For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interleavings. Software model checkers can directly verify an implementation, but typically cannot handle network input/output operations, which most programs require. This shortcoming can be addressed by a special model checker designed for multiple processes, or by different kinds of extensions and preprocessors for existing model checkers. This paper surveys currently existing approaches and tools.

Index Terms:

Software model checking, software verification, networking, inter-process communication

Citation:

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, "Tools and Techniques for Model Checking Networked Programs," snpd, pp.852-857, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.