Static analysis and verification of aerospace software by abstract interpretation (2010)

by J Bertrane, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, X Rival
Venue:In AIAA Infotech@Aerospace, number 2010-3385