Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes

Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-03-21T17:40:38Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Raimundo W. R. Melo.pdf: 1511352 bytes, checksum: 35f1429da9fc237f23a6e983f4c6abd9 (MD5) ==...

Full description

Bibliographic Details
Main Authors: Melo, Raimundo Williame Rocha de, 92-99345-3625
Other Authors: ppgee@ufam.edu.br
Format: Others
Language:Portuguese
Published: Universidade Federal do Amazonas 2018
Subjects:
Verificação formal
Indução matemática
Invariantes indutivas
PIPS
PAGAI
Verificação de Software
Sistemas embarcados
ENGENHARIAS: ENGENHARIA ELÉTRICA
Online Access:https://tede.ufam.edu.br/handle/tede/6261

Internet

https://tede.ufam.edu.br/handle/tede/6261

Similar Items