Exploiting pointer analysis in memory models for deductive verification

DOI10.1007/978-3-030-11245-5_8OpenAlexW2903519165MaRDI QIDQ2287078

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

Publication date: 23 January 2020

Full work available at URL: https://arxiv.org/abs/1811.12515

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• KRAKATOA
• Spec#
• Frama-C
• VeriFast
• Boogie
• CompCert

This page was built for publication: Exploiting pointer analysis in memory models for deductive verification