Toggle Main Menu Toggle Search


Formal Verification of Spacecraft Control Programs (Experience Report)

Lookup NU author(s): Dr Andrey Mokhov, Georgy Lukyanov


The full text of this item is currently under embargo and cannot be made publicly available until after publication.

Publication metadata

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: In Press

Conference Name: Haskell Symposium 2019

Year of Conference: 2019

Acceptance date: 21/06/2019

Publisher: ACM