Related Work

Interesting papers

Papers Authors Notes About

Shape analysis

[Google Scholar] [Wikipedia]

Notes:
Papers:

Notes related to Shape analysis

Separation logic

Papers related to Shape analysis

Software model checking [jhala:compsurv:2009]

The opinions expressed are my own views and not my employer’s.