Distributed Algorithms and Their Verification With Byzantine Model Checker. JMMCS 2018, 92 (4), 70-79.