Licence Creative Commons Formally verified block optimizations by symbolic execution modulo invariants

22 mars 2023
Durée : 00:30:53
Nombre de vues 2
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

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)

  • Formally verified block optimizations by symbolic execution modulo invariants

Léo GOURDIN (VERIMAG)

Mots clés : block clap cnrs execution formally gourdin gpl hifi invariants leo lvp modulo optimizations symbolic verified verimag

 Informations

Commentaire(s)

Chargement en cours…