@MASTERSTHESIS{ 2013:1572528760,
 	title = {Abordagens paralelas para Model Checking de redes de aut?matos estoc?sticos},
 	year = {2013},
 	url = "http://tede2.pucrs.br/tede2/handle/tede/5235",
 	abstract = "O emprego de sistemas complexos e cr?ticos para automa??o de tarefas do cotidiano faz crescer a depend?ncia das pessoas, gerando desconforto em rela??o ? seguran?a de tais sistemas. Nos ?ltimos anos algumas t?cnicas t?m sido desenvolvidas visando facilitar as atividades relacionadas ? valida??o de projetos nos est?gios iniciais do ciclo de desenvolvimento. Verifica??o de modelos ? uma t?cnica formal autom?tica que permite a verifica??o de sistemas concorrentes de estados finitos sob propriedades descritas em l?gicas temporais atrav?s do emprego de algoritmos que avaliam exaustivamente o sistema sob considera??o. Entretanto, esta t?cnica ? custosa no que tange ao armazenamento em mem?ria e processamento, justificando o desenvolvimento de algoritmos paralelos e distribu?dos para poderosos agregados computacionais. Esta disserta??o relata o estudo e desenvolvimento de algoritmos de verifica??o de modelos descritos em Redes de Aut?matos Estoc?sticos e propriedades descritas na l?gica temporal Computation Tree Logic para ambientes que endere?am espa?os de mem?ria de maneira distribu?da.",
 	publisher = {Pontif?cia Universidade Cat?lica do Rio Grande do Sul},
 	scholl = {Programa de P?s-Gradua??o em Ci?ncia da Computa??o},
 	note = {Faculdade de Inform?ca}
}