Index Terms
Optimizing verification effort with SPARK 2014
Recommendations
Optimizing verification effort with SPARK 2014
HILT '13: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technologyTesting or Formal Verification: DO-178C Alternatives and Industrial Experience
Software for commercial aircraft is subject to the stringent certification processes described in the DO-178B standard, "Software Considerations in Airborne Systems and Equipment Certification." Issued in 1992, this document focuses strongly on the ...







Comments