Verifying networked programs using a model checker extension.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Browse the full ICSE paper archive.