Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoEsta dissertação apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição LOTOS do sistema, de simulação, de teste e de verificação