Slide 1Janvier 2010 Software aspects of aeronautical certification and static analysis tools Gérard LADIER Airbus / Aerospace Valley [email protected]@aerospace-valley.com09/2010…