Verifying specifications with associated attributes in graph transformation systems.

Yu Zhou Yankai Huang Ou Wei Zhiqiu Huang

Published in: Frontiers Comput. Sci. (2015)

Keyphrases

graph transformation
distributed systems
building blocks
machine learning
expert systems
management system
computer systems
information retrieval
social networks
high level
source code
model checking
embedded systems
control flow
automated verification