ER01 : verifying and certifying software Monday October 17th, 2011Wednesday September 11th, 2013 Christophe Alias