loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs
August 06-August 08
ISBN: 978-0-7695-3263-9
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 -
 
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
Usage of this product signifies your acceptance of the Terms of Use.