A Value-based Memory Model for Deductive Verification

Autor: Bouillaguet, Quentin, Bobot, François, Sighireanu, Mihaela, Yakobowski, Boris

Publikováno v: Les vingt-neuvièmes Journées Francophones des Langages Applicatifs (The 29th Francophone Days of Application Languages-JFLA 2018)
Les vingt-neuvièmes Journées Francophones des Langages Applicatifs (The 29th Francophone Days of Application Languages-JFLA 2018), Jan 2018, Banyuls-sur-mer, France

International audience; Collaboration of verification methods is crucial to tackle the challenging problem of software verification. This paper formalizes the collaboration between Eva, a static ana-lyzer, and WP, a deductive verification tool, both

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e39b6c04a8e17f10da7eede9df2d62d2
https://hal-cea.archives-ouvertes.fr/cea-01809497