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

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe. Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. In Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8,. pages 807-813, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.