Formal Verification of Fault-Tolerant and Recovery Mechanisms for Safe Node Sequence Protocol.

Rui Zhou, Rong Min, Qi Yu, Chanjuan Li, Yong Sheng, Qingguo Zhou, Xuan Wang, Kuan-Ching Li

Browse the full AINA paper archive.