Published December 17, 2024 | Version v1
Software Open

Formalisation d'une analyse de région pour Frama-C/WP

Authors/Creators

Contributors

  • 1. ROR icon CEA LIST
  • 2. ROR icon Laboratoire d'Informatique Fondamentale d'Orléans

Description

Cet artefact constitue le développement Coq associé à l'article JFLA intitulé  "Formalisation d'une analyse de région pour Frama-C/WP".

Files

region_JFLA2025.zip

Files (92.3 kB)

Name Size Download all
md5:18df8fdbec37ad4c9f7e644d5b04b02e
38.9 kB Download
md5:4d398b727c8d97f798bf9369c440e17d
53.4 kB Preview Download

Additional details

Software

Programming language
Coq
Development Status
Active