Formal Verification of Spacecraft Control Programs

This is the authors' accepted manuscript of an article that has been accepted and is due to be published in its final definitive form by ACM, 2020.

For re-use rights please refer to the publisher's terms and conditions.

Author(s): Lukyanov G, Mokhov A, Lechner J

Publication type: Article

Publication status: In Press

Journal: ACM Transactions on Embedded Computing Systems

Year: 2020

Acceptance date: 31/03/2020

Date deposited: 23/04/2020

ISSN (print): 1539-9087

ISSN (electronic): 1558-3465

Publisher: ACM

URL: https://doi.org/10.1145/3391900

DOI: 10.1145/3391900

Altmetrics provided by Altmetric

ePrints