Why Buran Had Four Computers, Not Three — and What a Lean Proof Adds

Статья рассматривает применение многоканальных компьютерных систем для обеспечения надёжности управления полётами, описывает методы верификации таких систем на примере языка программирования Rust и приводит примеры использования Rust в космических и оборонных проектах, отмечая при этом неопределённость его эффективности в космических системах.

https://zatona.dev/blog/why-buran-had-four-computers