A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

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


Research units


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

Publication series

ISSN (Print)1863-2122

    Research areas

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

ID: 645242