140
click to vote
NFM
2014
9 years 12 months ago
2014
Abstract. RTCA DO-333, Formal Methods Supplement to DO-178C and DO278A, provides guidance for software developers wishing to use formal methods in the certification of airborne sys...