A symbolic model checking approach to verifying satellite onboard software

Xiang Gan, Jori Dubrovin, Keijo Heljanko

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Journal	Science of Computer Programming
Volume	82
Issue number	N/A
Pages (from-to)	44-55
ISSN	0167-6423
DOIs	https://doi.org/10.1016/j.scico.2013.03.005
Publication status	Published - 2014
Externally published	Yes
MoE publication type	A1 Journal article-refereed

Access to Document

@article{9a0318451bda4808b0023922826e1398,

title = "A symbolic model checking approach to verifying satellite onboard software",

author = "Xiang Gan and Jori Dubrovin and Keijo Heljanko",

year = "2014",

doi = "10.1016/j.scico.2013.03.005",

language = "English",

volume = "82",

pages = "44--55",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "N/A",

}

TY - JOUR

T1 - A symbolic model checking approach to verifying satellite onboard software

AU - Gan, Xiang

AU - Dubrovin, Jori

AU - Heljanko, Keijo

PY - 2014

Y1 - 2014

U2 - 10.1016/j.scico.2013.03.005

DO - 10.1016/j.scico.2013.03.005

M3 - Article

VL - 82

SP - 44

EP - 55

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - N/A

ER -