Combinaison d'Approches Formelles pour l'Étude d'Invariants Numériques

Le workshop CAFEIN vise à réunir des experts des méthodes formelles, des systèmes hybrides, ainsi que des partenaires industriels et des fournisseurs d'outils pour élaborer, développer et valider de nouvelles techniques de coopérations de méthodes formelles dans le but d'augmenter le degré d'automatisation et donc d'applicabilité de la vérification formelle. Plus particulièrement, nous nous intéressons aux nouvelles techniques basées sur des modèles haut niveau et à la compilation de ces modèles vers du code embarqué.