Orientations in Verification Engineering of Avionics Software

Authors:
Famantanantsoa Randimbivololona
Affiliations:
-
Venue:
Informatics - 10 Years Back. 10 Years Ahead.
Year:
2001

Citing 5
Cited 1

An axiomatic basis for computer programming

Communications of the ACM
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract Interpretation Based Formal Methods and Future Challenges

Informatics - 10 Years Back. 10 Years Ahead.
Progress on the State Explosion Problem in Model Checking

Informatics - 10 Years Back. 10 Years Ahead.
Extended Static Checking: A Ten-Year Perspective

Informatics - 10 Years Back. 10 Years Ahead.

Component-based development of dependable systems with UML

Component-Based Software Development for Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The avionics domain and its environment are changing rapidly. Current engineering can hardly address the new verification problems. Orientations for the development of adequate enabling verification techniques are presented.