Made available in DSpace on 2015-04-14T14:50:03Z (GMT). No. of bitstreams: 1
449321.pdf: 6617499 bytes, checksum: 57811360aff324876ce7118b02859e61 (MD5)
Previous issue date: 2013-03-26 / 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 / 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
| Identifer | oai:union.ndltd.org:IBICT/oai:tede2.pucrs.br:tede/5225 |
| Date | 26 March 2013 |
| Creators | Correa, Claiton Marques |
| Contributors | Dotti, Fernando Lu?s |
| Publisher | Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Programa de P?s-Gradua??o em Ci?ncia da Computa??o, PUCRS, BR, Faculdade de Inform?ca |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da PUC_RS, instname:Pontifícia Universidade Católica do Rio Grande do Sul, instacron:PUC_RS |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | 1974996533081274470, 500, 600, 1946639708616176246 |
Page generated in 0.0017 seconds