WPTrans: um assistente para verifica??o de programas em Frama-C

WPTrans: um assistente para verifica??o de programas em Frama-C

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-26T23:09:02Z No. of bitstreams: 1 VitorAlcantaraDeAlmeida_DISSERT.pdf: 2275305 bytes, checksum: 861287dd67240f715c731a69f2fa5aec (MD5) === Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on...

Full description

Bibliographic Details
Main Author: Almeida, V?tor Alc?ntara de
Other Authors: 00809085437
Language:Portuguese
Published: Universidade Federal do Rio Grande do Norte 2016
Subjects:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Frama-C
WP
WPTrans
Obriga??o de prova
Coq
SMT
Online Access:http://repositorio.ufrn.br/handle/123456789/21290

Internet

http://repositorio.ufrn.br/handle/123456789/21290

Similar Items