Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Software Model Checking of UDP-based Distributed Applications. In Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014. pages 96-105, IEEE, 2014. [doi]
Abstract is missing.