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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Cyrille Artho' in GoogleThis author has not been identified. Look up 'Watcharin Leungwattanakit' in GoogleThis author has not been identified. Look up 'Masami Hagiya' in GoogleThis author has not been identified. Look up 'Yoshinori Tanabe' in Google

runs on WebDSL