Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations.

Giorgio Delzanno Jan Stückrath

Published in: RP (2014)

Keyphrases

graph transformation
distributed systems
knowledge based systems
complex systems
database
artificial intelligence
metadata
data structure
expert systems
management system
model checking
security systems