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

March 22, 2023
00:30:53
Number of views 11
Addition in a playlist 0
Number of favorites 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)

Tags: block clap cnrs execution formally gourdin gpl hifi invariants leo lvp modulo optimizations symbolic verified verimag

Infos

Comment(s)