Sign in
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic.
Azalea Raad
Josh Berdine
Hoang-Hai Dang
Derek Dreyer
Peter W. O'Hearn
Jules Villard
Published in:
CAV (2) (2020)
Keyphrases
</>
formal theory
logic programming
modal operators
real time
database
data sets
artificial intelligence
source code
software projects
spatial reasoning
defeasible logic
causal reasoning
deontic logic
complete axiomatization
sound and complete axiomatization