Some level of scepticism is certainly warranted. OTOH it is possible to create reliable safety critical software, it's just very time consuming and expensive. F

Some level of scepticism is certainly warranted. OTOH it is possible to create reliable safety critical software, it's just very time consuming and expensive. For instance, many (most?) modern passenger aircraft are fly by wire, with no mechanical nor hydraulical connection between the cockpit controls and the flight control surfaces.