L'url de cette page a bien été copiée dans votre presse-papier!
Référence
20210159_0065
Réflexion sur le développement d’approches algorithmiques pour la vérification de systèmes
Réflexion sur le développement d’approches algorithmiques pour la vérification de systèmes, des fondements théoriques aux outils de vérification innovants. Les recherches menées à l’Institut de recherche en informatique fondamentale (IRIF) reposent sur l’étude et la compréhension des fondements de l’informatique afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.
L’utilisation des médias visibles sur la Plateforme CNRS Images peut être accordée sur demande. Toute reproduction ou représentation est interdite sans l'autorisation préalable de CNRS Images (sauf pour les ressources sous licence Creative Commons).
Aucune modification d'une image ne peut être effectuée sans l'accord préalable de CNRS Images.
Aucune utilisation à des fins publicitaires ou diffusion à un tiers d'une image ne peut être effectuée sans l'accord préalable de CNRS Images.
Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.
