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 -
journal of mathematics mechanics and computer science
Language(s) - English
Resource type - Journals
eISSN - 2617-4871
pISSN - 1563-0277
DOI - 10.26577/jmmcs-2017-4-455
Subject(s) - model checking , byzantine architecture , computer science , byzantine fault tolerance , parsing , temporal logic , quantum byzantine agreement , algorithm , programming language , theoretical computer science , distributed computing , fault tolerance , ancient history , history