Formal verification of spacecraft control programs (experience report).

Andrey Mokhov, Georgy Lukyanov, Jakob Lechner

Browse the full HASKELL paper archive.