Formal Verification of Spacecraft Control Programs

This is the authors' accepted manuscript of an article that has been 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: Published

Journal: ACM Transactions on Embedded Computing Systems

Year: 2020

Volume: 19

Issue: 5

Print publication date: 01/11/2020

Online publication date: 15/10/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