A symbolic model checking approach to verifying satellite onboard software

Xiang Gan, Jori Dubrovin, Keijo Heljanko

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalScience of Computer Programming
Volume82
Issue numberN/A
Pages (from-to)44-55
ISSN0167-6423
DOIs
Publication statusPublished - 2014
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Cite this