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

icon indicating a website link http://www.ufrgs.br/verites

icon location Porto Alegre - RS - Brasil

Results 1 repositories owned by Grupo de Verificação, Validação e Teste de Sistemas Computacionais

verigraph

37
Stars
4
Forks
Watchers

Software specification and verification system based on graph rewriting

verified publisher icon Verites