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...
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
-
Find the bug: a book of incorrect programs
por: Barr, Adam
Publicado: (2005) -
Reasoning over Permissions Regions in Concurrent Separation Logic
por: Brotherston, James, et al.
Publicado: (2020) -
Incorrect predictions, not incorrect statistics!
por: Hoff, Reinier G, et al.
Publicado: (2009) -
Justification logic: reasoning with reasons
por: Artemov, Sergei, et al.
Publicado: (2019) -
Fuzzy sets, logics and reasoning about knowledge
por: Dubois, Didier, et al.
Publicado: (1999)