Add to ORKGIn 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 verification tech-nique based on abstract interpretation. The main goal is to apply this technique as a formal activity in the software veri-fication process to help software engineers identify programs faults. The applicability of the proposed approach is demon-strated by a case study based on embedded aerospace control interpretation can contribute to software dependability. 1
If software code is developed by humans, can we as users rely on its absolute correctness? Today's s...
Six software verification tools have been applied to space flight software and the findings reported...
A central issue in program verification is the generation of verification conditions (VCs): proof ob...
In the context of software dependability, the software veri- fication process has an important role....
With the increasing importance of software in the aerospace field, as evidenced by its growing size ...
This monograph presents abstract interpretation and shows how its principles can be successfully app...
Mastering the continuously increasing amount of software requires identification of more efficient s...
Summary form only given. Embedded controllers are more and more pervasive and feature more and more ...
The size and complexity of control software in aerospace systems is rapidly increasing, and this de...
Software is playing increasingly important roles in avionics systems. It is widely used in navigatio...
Correctness is paramount for safety-critical software control systems. Critical software failures in...
In a context of heightened requirements for safety-critical embedded systems and ever-increasing cos...
Improving software reliability of mission-critical systems is widely recognised as one of the major ...
In order to contribute to the software reliability problem, tools have beend esigned inord er to ana...
ABSTRACT: This paper presents a new approach for verification of fault tolerant software in aerospa...
If software code is developed by humans, can we as users rely on its absolute correctness? Today's s...
Six software verification tools have been applied to space flight software and the findings reported...
A central issue in program verification is the generation of verification conditions (VCs): proof ob...
In the context of software dependability, the software veri- fication process has an important role....
With the increasing importance of software in the aerospace field, as evidenced by its growing size ...
This monograph presents abstract interpretation and shows how its principles can be successfully app...
Mastering the continuously increasing amount of software requires identification of more efficient s...
Summary form only given. Embedded controllers are more and more pervasive and feature more and more ...
The size and complexity of control software in aerospace systems is rapidly increasing, and this de...
Software is playing increasingly important roles in avionics systems. It is widely used in navigatio...
Correctness is paramount for safety-critical software control systems. Critical software failures in...
In a context of heightened requirements for safety-critical embedded systems and ever-increasing cos...
Improving software reliability of mission-critical systems is widely recognised as one of the major ...
In order to contribute to the software reliability problem, tools have beend esigned inord er to ana...
ABSTRACT: This paper presents a new approach for verification of fault tolerant software in aerospa...
If software code is developed by humans, can we as users rely on its absolute correctness? Today's s...
Six software verification tools have been applied to space flight software and the findings reported...
A central issue in program verification is the generation of verification conditions (VCs): proof ob...