Verifying pointer programs using graph grammars.

Jonathan Heinen Christina Jansen Joost-Pieter Katoen Thomas Noll

Published in: Sci. Comput. Program. (2015)

Keyphrases

graph grammars
computer programs
context sensitive

data structure
model checking
context free

graph databases
data model
query language

probability distribution
em algorithm
context dependent