Pinned Repositories
case-studies
LTSExtractor.extension
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.
presentations
verigraph
Software specification and verification system based on graph rewriting
verigraph-docs
Verigraph Internal Documentation
verigraph-tutorial
Installation and usage tutorial for Verigraph
Grupo de Verificação, Validação e Teste de Sistemas Computacionais's Repositories
Verites/verigraph
Software specification and verification system based on graph rewriting
Verites/case-studies
Verites/LTSExtractor.extension
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.
Verites/presentations
Verites/verigraph-docs
Verigraph Internal Documentation
Verites/verigraph-tutorial
Installation and usage tutorial for Verigraph