Распределенные алгоритмы и их верификация с помощью Byzantine model checker
Каждый алгоритм системы является главным узлом для построения надежных распределенных систем. Для того, чтобы быть уверенным в том, что эти алгоритмы делают систему более надежной, мы должны гарантировать, что предлагаемые алгоритмы работают правильно. Однако, проверка на модели внедренной отказоуст...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Al-Farabi Kazakh National University
2016-12-01
|
| Series: | Вестник КазНУ. Серия математика, механика, информатика |
| Subjects: | |
| Online Access: | https://bm.kaznu.kz/index.php/kaznu/article/view/455/367 |