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

The platform Frama-C is a tool dedicated to analysis of source code of software written in C, with the possible types of analysis provided by plugins attached to the platform. One of its plugins is WP, used for deductive veri cation of C code with ACSL, a formal speci cation language. This disser...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Almeida, Vítor Alcântara de
Outros Autores: Deharbe, David Boris Paul
Formato: Dissertação
Idioma:por
Publicado em: Universidade Federal do Rio Grande do Norte
Assuntos:
Frama-C
WP
WPTrans
Obrigação de prova
Coq
SMT
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Endereço do item:https://repositorio.ufrn.br/jspui/handle/123456789/21290
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://repositorio.ufrn.br/jspui/handle/123456789/21290

Registros relacionados