todo
Notes related to Smallfoot verifier
Papers related to Smallfoot verifier
- Symbolic execution with separation logic [berdine:aplas:2005]
- Smallfoot: Modular automatic assertion checking with separation logic [berdine:fmco:2005]
- Compositional shape analysis by means of bi-abduction [calcagno:popl:2009]