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)

Bibliographic Details
Main Author: Melo, Raimundo Williame Rocha de (author)
Format: masterThesis
Language:por
Published: 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
Country:Brazil
Oai:oai:https://tede.ufam.edu.br/handle/:tede/6261

Internet

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

Similar Items