Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução.

Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução.

Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2018-05-22T14:55:43Z No. of bitstreams: 1 ANNE LORAYNE GERÕNIMO SILVA AUGUSTO MOREIRA - DISSERTAÇÃO (PPGCC) 2016.pdf: 843001 bytes, checksum: 3c03d468b4f80d420da1bad90adf7ca0 (MD5) === Made available in DSpace on 2018-05-22T14:55:43Z (GMT). N...

Full description

Bibliographic Details
Main Author: MOREIRA, Anne Lorayne Gerônimo Silva Augusto.
Other Authors: GORGÔNIO, Kyller Costa.
Language:Portuguese
Published: Universidade Federal de Campina Grande 2016
Subjects:
Ciências
Ciência da Computação
Verificação Formal
Verificação Automática
Sistemas Embarcados
Modelos Formais
NuSMV
Formal Verification
Automatic Verification
Embedded Systems
Formal Models
Online Access:http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/768

Similar Items

Similar Items