Grupo de Verificação, Validação e Teste de Sistemas Computacionais

Software specification and verification system based on graph rewriting

Extension for the LTS Extractor platform, which is used for enabling the communication with the methods for generating model analysis, and to ease the management of log files throughout the platform.

Installation and usage tutorial for Verigraph

Verigraph Internal Documentation