@entry{bou-con-cou-cou-fer-gho-09-aa-space, author = {O Bouissou and E Conquet and P Cousot and R Cousot...}, title = {Space software validation using abstract interpretation}, journal = {The International Space ...,}, volume = {}, number = {}, pages = {}, year = 2009, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://hal.inria.fr/inria-00528590/}}}, quotes = {This paper reports the results of an ESA funded project on the use of abstract interpretation to validate critical real-time embedded space software. Abstract interpretation is industrially ...} }