The time and cost associated with the development and certification of flight-critical software bled air vehicles. This upward trend is expected to continue as future vehicles will be increasingly autonomous and intelligent. Affordable, efficient processes and tools are needed to control development costs and schedule, as well as to ensure the safety of these vehicles. This paper presents the results of a U. S. Air Force Research Laboratory (AFRL) sponsored project on the development of validation and verification (V&V) technologies for flightcritical software. The purpose of the project is to improve the affordability and safety for software V&V, specifically, for adaptive and/or mixed-criticality software.