Prédire le comportement de programmes par «model checking» User Fabrice Kordon on YouTube, 21 May 2018 Cette vidéo présente des travaux de recherche au LIP6 (laboratoire de recherche Sorbonne Université/CNRS) qui visent à améliorer…