„CompCert“

Suchergebnisse

5 Treffer

• On Verifying Secret Control Flow Elimination
  Knothe, David ; Bringmann, Oliver 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Formally Verified WCET Estimation Tool
  Maroneze, André ; Blazy, Sandrine ; Pichardie, David ; Puaut, Isabelle 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Embedded Program Annotations for WCET Analysis
  Schommer, Bernhard ; Cullmann, Christoph ; Gebhard, Gernot ; Leroy, Xavier ; Schmidt, Michael ; Wegener, Simon 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics
  Besson, Frédéric ; Blazy, Sandrine ; Wilke, Pierre
• A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data
  Besson, Frédéric ; Blazy, Sandrine ; Wilke, Pierre