Model checking CSPZ: Techniques to overcome state explosion

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: MOTA, Alexandre Cabral
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Universidade Federal de Pernambuco
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
CSPz
Algorithm implementations
Exponential explosion
Theorem
Link de acesso: https://repositorio.ufpe.br/handle/123456789/1909
Resumo: Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.
id UFPE_3906a7d66e757857c632306ecebbf108
oai_identifier_str oai:repositorio.ufpe.br:123456789/1909
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str
spelling Model checking CSPZ: Techniques to overcome state explosionCSPzAlgorithm implementationsExponential explosionTheoremCabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.Conselho Nacional de Desenvolvimento Científico e TecnológicoUniversidade Federal de PernambucoSampaio, Augusto Cezar AlvesMOTA, Alexandre Cabral2014-06-12T15:53:07Z2014-06-12T15:53:07Z2001info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfCabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.https://repositorio.ufpe.br/handle/123456789/1909engAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPE2019-10-25T07:39:47Zoai:repositorio.ufpe.br:123456789/1909Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T07:39:47Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.none.fl_str_mv Model checking CSPZ: Techniques to overcome state explosion
title Model checking CSPZ: Techniques to overcome state explosion
spellingShingle Model checking CSPZ: Techniques to overcome state explosion
MOTA, Alexandre Cabral
CSPz
Algorithm implementations
Exponential explosion
Theorem
title_short Model checking CSPZ: Techniques to overcome state explosion
title_full Model checking CSPZ: Techniques to overcome state explosion
title_fullStr Model checking CSPZ: Techniques to overcome state explosion
title_full_unstemmed Model checking CSPZ: Techniques to overcome state explosion
title_sort Model checking CSPZ: Techniques to overcome state explosion
author MOTA, Alexandre Cabral
author_facet MOTA, Alexandre Cabral
author_role author
dc.contributor.none.fl_str_mv Sampaio, Augusto Cezar Alves
dc.contributor.author.fl_str_mv MOTA, Alexandre Cabral
dc.subject.por.fl_str_mv CSPz
Algorithm implementations
Exponential explosion
Theorem
topic CSPz
Algorithm implementations
Exponential explosion
Theorem
description Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.
publishDate 2001
dc.date.none.fl_str_mv 2001
2014-06-12T15:53:07Z
2014-06-12T15:53:07Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.
https://repositorio.ufpe.br/handle/123456789/1909
identifier_str_mv Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.
url https://repositorio.ufpe.br/handle/123456789/1909
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1856041944333942784

Registros relacionados