Related Projects
PREDATOR : a tool for checking manipulation of dynamic data structures using separation logic
XISA : extensible inductive shape analysis
SpaceInvader : shape analysis using separation logic
PREDATOR : a tool for checking manipulation of dynamic data structures using separation logic
XISA : extensible inductive shape analysis
SpaceInvader : shape analysis using separation logic