Olivier Bouissou (Mathworks) 

Abstract Interpretation - Develop High Quality Software With Polyspace Products


abstract :

Dans cet exposé, nous présenterons les défis que doit relever un logiciel industriel de vérification formelle comme Polyspace. Les défis technologiques pour obtenir des résultats toujours plus précis, les défis techniques pour obtenir ces résultats plus rapidement, mais aussi les défis industriels pour présenter ces résultats de façon compréhensible par des ingénieurs non experts. Nous insisterons notamment sur les différents types de bugs que rencontre un outil généraliste comme Polyspace et la diversité des situations dans lesquelles il est utilisé.