Safety critical software has to demonstrate an appropriate level of verification and assurance in manufacture and testing before it goes anywhere near an aircraft.
A cornerstone of the ZD576 case! It is depressing reading many of the excellent comments here as you could substitute tail numbers and be talking about any number of accidents.