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

8-10 Feb 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é.
Scientific domain :  Computer Science - Computer Arithmetic - Computation and Language - Distributed, Parallel, and Cluster Computing - Discrete Mathematics - Embedded Systems - Modeling and Simulation

Place of the conference
Online user: 182 |  Contact |  About |  RSS |  Privacy |  Accessibility