DC Field | Value | Language |
dc.contributor.advisor | Dotti, Fernando Luís | en_US |
dc.contributor.author | Correa, Claiton Marques | en_US |
dc.date.accessioned | 2013-08-07T18:43:35Z | - |
dc.date.available | 2013-08-07T18:43:35Z | - |
dc.date.issued | 2013 | pt_BR |
dc.identifier.uri | http://hdl.handle.net/10923/1684 | - |
dc.description.abstract | A possibilidade de geração de contraexemplos e testemunhas é um dos principais atrativos da técnica de Verificação de Modelos. Os contraexemplos são uma boa fonte para depuração do sistema, pois são gerados quando uma especificação é refutada pelo modelo. Já as testemunhas ratificam a satisfação de uma especificação pelo modelo através de uma execução do sistema. Esta dissertação de Mestrado é parte de um projeto de construção de um verificador de modelos para modelos descritos em Redes de Autômatos Estocásticos e trata da implementação da geração de contraexemplos e testemunhas para a ferramenta. | pt_BR |
dc.description.abstract | The counterexamples and witnesses generation is one of the main attractive features of Model Checking. Counterexamples are a great data source to debug the system, because they are generated when a specification is violeted by a model of the system. On other hand, witnesses show that a model of the system holds for an specification, through an execution trace of the system. This dissertation is part of a project aimed to the construction of a Model Checker for Stochastic Automata Networks and focuses in the generation of counterexamples and witnesses for the tool. | en_US |
dc.language.iso | Português | pt_BR |
dc.publisher | Pontifícia Universidade Católica do Rio Grande do Sul | pt_BR |
dc.subject | INFORMÁTICA | pt_BR |
dc.subject | REDES DE AUTÔMATOS ESTOCÁSTICOS | pt_BR |
dc.subject | SIMULAÇÃO E MODELAGEM EM COMPUTADORES | pt_BR |
dc.title | Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos | pt_BR |
dc.type | masterThesis | pt_BR |
dc.degree.grantor | Pontifícia Universidade Católica do Rio Grande do Sul | pt_BR |
dc.degree.department | Faculdade de Informática | pt_BR |
dc.degree.program | Programa de Pós-Graduação em Ciência da Computação | pt_BR |
dc.degree.level | Mestrado | pt_BR |
dc.degree.date | 2013 | pt_BR |
dc.publisher.place | Porto Alegre | pt_BR |
Appears in Collections: | Dissertação e Tese
|