New techniques for instantiation and proof production in SMT solving

Detalhes bibliográficos
Autor(a) principal: HANIEL MOREIRA BARBOSA
Data de Publicação: 2017
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6243795
id BRCRIS_60994c0d9c4a8e564c021bf02716e759
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv New techniques for instantiation and proof production in SMT solving
title New techniques for instantiation and proof production in SMT solving
spellingShingle New techniques for instantiation and proof production in SMT solving
formal verification
verificação formal
HANIEL MOREIRA BARBOSA
title_short New techniques for instantiation and proof production in SMT solving
title_full New techniques for instantiation and proof production in SMT solving
title_fullStr New techniques for instantiation and proof production in SMT solving
New techniques for instantiation and proof production in SMT solving
title_full_unstemmed New techniques for instantiation and proof production in SMT solving
New techniques for instantiation and proof production in SMT solving
title_sort New techniques for instantiation and proof production in SMT solving
topic formal verification
verificação formal
publishDate 2017
format doctoralThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6243795
author_role author
author HANIEL MOREIRA BARBOSA
author_facet HANIEL MOREIRA BARBOSA
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6657126741011519
dc.identifier.orcid.none.fl_str_mv https://orcid.org/0000000301882300
dc.contributor.advisor1.fl_str_mv DAVID BORIS PAUL DEHARBE
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2985658685449858
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
instname_str UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
dc.publisher.program.fl_str_mv SISTEMAS E COMPUTAÇÃO
dc.description.course.none.fl_txt_mv SISTEMAS E COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESNew techniques for instantiation and proof production in SMT solvingNew techniques for instantiation and proof production in SMT solvingNew techniques for instantiation and proof production in SMT solvingNew techniques for instantiation and proof production in SMT solvingNew techniques for instantiation and proof production in SMT solvingNew techniques for instantiation and proof production in SMT solvingNew techniques for instantiation and proof production in SMT solvingformal verification2017doctoralThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6243795authorHANIEL MOREIRA BARBOSAhttp://lattes.cnpq.br/6657126741011519https://orcid.org/0000000301882300DAVID BORIS PAUL DEHARBEhttp://lattes.cnpq.br/2985658685449858UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEUNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEUNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTESISTEMAS E COMPUTAÇÃOSISTEMAS E COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv BARBOSA, HANIEL MOREIRA. New techniques for instantiation and proof production in SMT solving. 2017. Tese.
dc.identifier.citation.fl_str_mv BARBOSA, HANIEL MOREIRA. New techniques for instantiation and proof production in SMT solving. 2017. Tese.
_version_ 1741889181736501248

Registros relacionados