Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs

August 06-August 08

DOI Bookmark:

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

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, "Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs," Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on, pp. 807-813, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008.

	BibTex	x
	@article{ 10.1109/SNPD.2008.50, author = {Cyrille Artho and Watcharin Leungwattanakit and Masami Hagiya and Yoshinori Tanabe}, title = {Architecture-aware Partial Order Reduction to Accelerate Model Checking of 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 = {807-813}, doi = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2008.50}, 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 - Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs SN - 978-0-7695-3263-9 SP807 EP813 A1 - Cyrille Artho, A1 - Watcharin Leungwattanakit, A1 - Masami Hagiya, A1 - Yoshinori Tanabe, PY - 2008 KW - Software model checking KW - model checking KW - partial-order reduction KW - optimization KW - centralization 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

Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied successfully to networked software, with all processes being analyzed in conjunction. Unfortunately, this approach does not scale very well. This paper presents a partial-order reduction through which a performance gain of up to 70% was achieved.

Index Terms:

Software model checking, model checking, partial-order reduction, optimization, centralization

Citation:

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, "Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs," snpd, pp.807-813, 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.