1. Biblioteca Digital de Monografias
  2. CAMPUS DO BACANGA
  3. Curso de Graduação em Ciência da Computação do Campus do Bacanga
  4. TCCs de Graduação em Ciência da Computação do Campus do Bacanga
Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/3952
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorBENEVIDES, Marcos Vinicius Moreira Serra-
dc.date.accessioned2019-10-14T19:53:21Z-
dc.date.available2019-10-14T19:53:21Z-
dc.date.issued2019-07-11-
dc.identifier.urihttp://hdl.handle.net/123456789/3952-
dc.descriptionABSTRACT An interactive theorem prover (or proof assistant) is a tool that assists the development of formal evidence. This work has reviewed the literature of the mathematical foundations of these tools. He also presented the assistant of COQ evidence and how it implements some of these concepts. Alternatively, it was presented property-based testing which is an intermediate solution between tests unitary and formal evidence. This paper then used this methodology to analyze a regular expression algorithm that was published as Functional pearl.pt_BR
dc.description.abstractUm provador interativo de teoremas (ou assistentes de provas) é uma ferramenta que auxilia o desenvolvimento de provas formais. Este trabalho fez uma revisão bibliográfica dos fundamentos matemáticos destas ferramentas. Além disso apresentou o assistente de provas COQ e como ele implementa alguns destes conceitos. Alternativamente, apresentou-se os testes baseados em propriedades que é uma solução intermediária entre os testes unitários e as provas formais. Este trabalho utilizou então essa metodologia para analisar um algoritmo de expressões regulares que foi publicado como Functional pearl.pt_BR
dc.language.isootherpt_BR
dc.publisherUniversidade Federal do Maranhãopt_BR
dc.subjectCOQpt_BR
dc.subjectExpressões regularespt_BR
dc.subjectProgramção funcionalpt_BR
dc.subjectProvadores de teoremaspt_BR
dc.subjectQuickcheckpt_BR
dc.subjectTestes baseados em propriedadespt_BR
dc.subjectCOQpt_BR
dc.subjectRegular expressionspt_BR
dc.subjectFunctional programmingpt_BR
dc.subjectProofers of theoremspt_BR
dc.subjectQuickcheckpt_BR
dc.subjectProperty-based testingpt_BR
dc.titleImplementação e análise de uma engine para expressões regulares em Coq via testes baseados em propriedadespt_BR
dc.title.alternativeImplementation and analysis of an expression engine in Coq via property-based testingpt_BR
dc.typeOtherpt_BR
Aparece nas coleções:TCCs de Graduação em Ciência da Computação do Campus do Bacanga

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
MARCOS-BENEVIDES.pdfTrabalho de Conclusão de Curso787,79 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.