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

8-10 févr. 2023
Hôtel Llaret - Les Angles (France)

https://cafein2023.sciencesconf.org

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é.
Discipline scientifique :  Informatique - Arithmétique des ordinateurs - Informatique et langage - Calcul parallèle, distribué et partagé - Mathématique discrète - Systèmes embarqués - Modélisation et simulation

Lieu de la conférence
Personnes connectées : 521 |  Contact |  À propos |  RSS |  Vie privée |  Accessibilité