www.prismmodelchecker.org
[HWHY10] Wei Huang, Gengyu Wei, Nan Hu and Yixian Yang. Design and Analysis of Heartbeat Protocol in NIDS Cluster. In Proc. 2nd International Conference on Future Computer and Communication (ICFCC'10). 2010.
Links: [Google] [Google Scholar]

Publications