Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надёжности