Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.

Kamil Dudka Petr Peringer Tomás Vojnar

Published in: CAV (2011)

Keyphrases

data structure
real world
database
software tools
dynamically changing
search engine
information systems
multi agent
logic programming
user friendly
predicate logic