Способ верификации исходного кода программного обеспечения бортовой аппаратуры космического аппарата с применением темпоральной логики

Verification of the software source code of the spacecraft onboard equipment using temporal logic