Publications

2016

• Costa, A.; Bezerra, J; Azzi, G; Rodrigues, L; Becker, T. R.; Herdt, R. G.; Machado, R. Verigraph: A System for Specification and Analysis of Graph Grammars. In: Ribeiro L., Lecomte T. (eds) Formal Methods: Foundations and Applications. SBMF 2016. Lecture Notes in Computer Science, vol 10090. Springer, Cham

• Bezerra, J., Ribeiro, L. (2016). Calculation and Applications of Concurrent Rules. In Escola de Informática Teórica e Métodos Formais (Brazilian Symposium on Formal Methods School) (pp. 135–144).

• Costa, A.; Machado, R.; Ribeiro, L. Evolving Negative Application Conditions. In Escola de Informática Teórica e Métodos Formais (Brazilian Symposium on Formal Methods School) (pp. 74–82).

2014

• Becker, T. R. VeriGraph: A Tool For Model Checking Graph Grammars. Bachelor Thesis. Advisor: Prof. Dr. Rodrigo Machado. Instituto de Informática/Universidade Federal do Rio Grande do Sul – Porto Alegre: UFRGS, 2014. 95f.