The broad engagement of the technical and scientific community through the International Scientific Studies Conference in June 2009 (ISS09) provided many suggestions to improve the verification capabilities using cutting-edge technologies and methods.
Le large engagement de la communauté scientifique et technique constaté lors de la conférence ESI 2009 tenue en juin 2009 est à l’origine de nombreuses suggestions visant à renforcer les capacités de vérification par un recours à des technologies et à des méthodes de pointe.