Smallfoot verifier

Smallfoot verifier
[Google Scholar] [Website]

Notes: separation logic

todo


Symbolic execution