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

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Browse the full SNPD paper archive.