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

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