B. Courcelle, Monadic second-order definable graph transductions: a survey, Theoretical Computer Science, vol.126, issue.1, pp.53-75, 1994.
DOI : 10.1016/0304-3975(94)90268-2

URL : http://doi.org/10.1016/0304-3975(94)90268-2

S. A. Da-costa and L. Ribeiro, Formal Verification of Graph Grammars using Mathematical Induction, Electronic Notes in Theoretical Computer Science, vol.240, pp.43-60, 2009.
DOI : 10.1016/j.entcs.2009.05.044

L. Ribeiro, F. L. Dotti, S. A. Da-costa, and F. C. Dillenburg, Towards theorem proving graph grammars using Event, 2010.

M. Strecker, Modeling and Verifying Graph Transformations in Proof Assistants, Electronic Notes in Theoretical Computer Science, vol.203, issue.1, pp.135-148, 2007.
DOI : 10.1016/j.entcs.2008.03.039

M. Strecker, Locality in Reasoning about Graph Transformations, AGTIVE, 2011.
DOI : 10.1007/978-3-642-34176-2_15

H. N. Tran, C. Percebois, A. Abou-dib, L. Féraud, and S. Soloviev, Attribute Computations in the DPoPb Graph Transformation Engine, 2010.

L. Baresi and P. Spoletini, On the Use of Alloy to Analyze Graph Transformation Systems. ICGT06, LNCS, vol.4178, pp.306-320, 2006.

B. Becker, D. Beyer, H. Giese, F. Klein, and D. Schilling, Symbolic invariant verification for systems with dynamic structural adaptation, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.72-81, 2006.
DOI : 10.1145/1134285.1134297

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Inaba, S. Hidaka, Z. Hu, H. Kato, and K. Nakano, Graph-transformation verification using monadic second-order logic, Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming, PPDP '11, 2011.
DOI : 10.1145/2003476.2003482

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Asztalos, L. Lengyel, and T. Levendovszky, Towards Automated, Formal Verification of Model Transformations, 2010 Third International Conference on Software Testing, Verification and Validation, 2010.
DOI : 10.1109/ICST.2010.42

. Narayanan and G. Karsai, Towards Verifying Model Transformations, Electronic Notes in Theoretical Computer Science, vol.211, pp.191-200, 2008.
DOI : 10.1016/j.entcs.2008.04.041

J. M. Küster, Definition and validation of model transformations. Software & Systems Modeling, pp.233-259, 2006.

F. Hermann, H. Mathias, and K. Barbara, Specification and Verification of Model Transformations, 2010.

Z. Langari and R. Trefler, Application of Graph Transformation in Verification of Dynamic Systems, p.9, 2009.
DOI : 10.1007/978-3-540-72794-1_2

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL -A Proof Assistant for Higher-Order Logic, LNCS 2283, 2002.

H. Barendregt and E. Barendsen, Introduction to Lambda Calculus, 1994.

B. Boisvert, L. Féraud, and S. Soloviev, Typed lambda-terms in categorical attributed graph transformation, Electronic Proceedings in Theoretical Computer Science, vol.56, issue.11, 2011.
DOI : 10.4204/EPTCS.56.3

L. Lengyel, T. Levendovszky, and H. Charaf, Constraint Validation in Model Compilers., The Journal of Object Technology, vol.5, issue.4, pp.107-127, 2006.
DOI : 10.5381/jot.2006.5.4.a3