New techniques for instantiation and proof production in SMT solving
Autor(a) principal: | |
---|---|
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 |