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)

Detalhes bibliográficos
Autor principal: Melo, Raimundo Williame Rocha de (author)
Formato: masterThesis
Idioma:por
Publicado em: 2018
Assuntos:
Verifica????o formal
Indu????o matem??tica
Invariantes indutivas
PIPS
PAGAI
Verifica????o de Software
Sistemas embarcados
ENGENHARIAS: ENGENHARIA EL??TRICA
Texto completo:https://tede.ufam.edu.br/handle/tede/6261
País:Brasil
Oai:oai:https://tede.ufam.edu.br/handle/:tede/6261

Texto Completo

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

Registros relacionados