Open AccessDistributed algorithms and their verification with Byzantine model checker
Author(s) -
A. T. Bektemessov,
A. Zh. Burlibaev,
F. A. Iliyaletdinov
Publication year - 2017
Publication title -
k̦aznu habaršysy. matematika, mehanika, informatika seriâsy/vestnik kaznu. seriâ matematika, mehanika, informatika
Language(s) - English
Resource type - Journals
eISSN - 2617-4871
pISSN - 1563-0277
DOI - 10.26577/jmmcs-2017-4-455
Subject(s) - computer science , model checking , byzantine fault tolerance , algorithm , programming language , distributed computing , fault tolerance