CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS (Rencontres de la communauté française de compilation)
- Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération
Roméo LA SPINA (Université de Rennes 1, LANGAGE ET GÉNIE LOGICIEL, Institut national de recherche en informatique et en automatique)
Mots clés : analyseur automatique clap cnrs donnees flot formelle genie gpl hifi informatique institut iteration langage logiciel lvp national ordre parametre preuve recherche rennes romeo spina universite
Informations
- Gricad Vidéos
- 5 avril 2023 09:59
- Conférences
- Français
Commentaire(s)