Taschetto Neto, Levindo Gabriel (2020) [Work completion of graduation]
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, ...