Navegação TCC Ciência da Computação por Autor "Taschetto Neto, Levindo Gabriel"
Resultados 1-1 de 1
-
PLACIDUS : Plataforma de gerenciamento com verificação formal para redes definidas por software
Taschetto Neto, Levindo Gabriel (2020) [Trabalho de conclusão de graduação]Verificação formal é um passo importante na checagem de operações e propriedades em redes de computadores, como por exemplo, a corretude das configurações de dispositivos inseridos na mesma. Entretanto, historicamente, ...