Cargando…

Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic

There has been a large body of work on local reasoning for proving the absence of bugs, but none for proving their presence. We present a new formal framework for local reasoning about the presence of bugs, building on two complementary foundations: 1) separation logic and 2) incorrectness logic. We...

Descripción completa

Detalles Bibliográficos
Autores principales: Raad, Azalea, Berdine, Josh, Dang, Hoang-Hai, Dreyer, Derek, O’Hearn, Peter, Villard, Jules
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363320/
http://dx.doi.org/10.1007/978-3-030-53291-8_14

Ejemplares similares