INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

December 2021
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
2728293031  

 
  • INES Graduate Student presents his work at CBSoft 2015 – Tools

    (0)
    Publicado em August 5th, 2015Publications

    Graduate student, and MSc candidate, Vítor Alcântara de Almeida will attend CBSoft 2015 and present the paper to the Tools Session:

    “WPTrans: Um assistente para Verificacão de Programas no Frama-C”

    Authors: David Deharbe, Richard Bonichon, Vitor Almeida

    Abstract. This article describes the early stage of WPTrans: an extension to Frama-C and WP. This extension enable to manually help automated theorem provers by manipulating generated proof obligations. This gives yet another bullet to prove program correctness.

Leave a Reply

You must be logged in to post a comment.