Verificação baseada em indução matemática para programas C++

Verificação baseada em indução matemática para programas C++

Submitted by Geyciane Santos (geyciane_thamires@hotmail.com) on 2015-07-23T13:51:53Z No. of bitstreams: 1 Dissertação - Mikhail Yasha Ramalho Gadelha.pdf: 1839545 bytes, checksum: 9f5e7d75af46b461d8ad6837ce6ad0be (MD5) === Approved for entry into archive by Divisão de Documentação/BC Biblioteca C...

Full description

Bibliographic Details
Main Author: Gadelha, Mikhail Yasha Ramalho
Other Authors: Cordeiro, Lucas Carvalho
Format: Others
Language:Portuguese
Published: Universidade Federal do Amazonas 2015
Subjects:
Verificação formal
Prova por indução
Linguagem de programação C++
Formal verification
Proof by induction
C++ programming language
ENGENHARIAS: ENGENHARIA ELÉTRICA
Online Access:http://tede.ufam.edu.br/handle/tede/4497

Internet

http://tede.ufam.edu.br/handle/tede/4497

Similar Items