Formalization and Verification of the Powerlink Protocol Using CSP.

Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin

Browse the full APSEC paper archive.