Using abstract interpretation to produce dependable aerospace control software

In the context of software dependability, the software veri- fication process has an important role. Formal verification of programs is an activity that can be inserted in this process to improve software reliability. This paper presents the defini- tion of an approach that employs a formal verifica...

Full description

Bibliographic Details
Main Author: Silva, Rovedy Aparecida Busquim e (author)
Other Authors: Arai, Nanci Naomi (author), Burgareli, Luciana Akemi (author), Oliveira, José M. Parente (author), Pinto, Jorge Sousa (author)
Format: conferencePaper
Language:eng
Published: 2013
Subjects:
Software dependability
Formal verification
Abstract interpretation
Aerospace control software
Online Access:http://hdl.handle.net/1822/26343
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/26343

Internet

http://hdl.handle.net/1822/26343

Similar Items