Rollgame
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. ANÁLISE DE ESTRATÉGIAS UTILIZANDO VERIFICAÇÃO FORMAL DE MODELOS / ANALYSIS OF STRATEGIES USING MODEL CHECKING
Em métodos formais, uma das abordagens que vem obtendo sucesso nos últimos anos é a de verificação formal. Dentro desta, vem se destacando uma técnica chamada de verificação de modelos (model checking), na qual se verifica automaticamente a validade de propriedades em sistemas acerca do funcionamento de um sistema. Atualmente, a verificação de mode
Publicado em: 2003