A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

Xiang Gan, Jori Dubrovin, Keijo Heljanko

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationESANN 20th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium, April 25-27, 2012
    Pages1-15
    Publication statusPublished - 2012
    MoE publication typeA4 Article in a conference publication

    Publication series

    Name
    ISSN (Print)1863-2122

    Keywords

    • AOCS
    • NuSMV 2
    • satellite software
    • symbolic model checking
    • verification

    Cite this