Listar Tesinas Ciencia de la Computación por autor "Taschetto Neto, Levindo Gabriel"
Mostrando ítems 1-1 de 1
-
PLACIDUS : Plataforma de gerenciamento com verificação formal para redes definidas por software
Taschetto Neto, Levindo Gabriel (2020) [Tesinas de grado]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, ...