"push to prod, let the users debug for us" would at least, I'd hope, offer lower ticket prices for said users.

Early in my career, I worked for a subcontractor to Boeing Commericial Airplanes. I've worked in Silicon Valley ever since. As a swag, the % of budget spent on verification/validation for flight-critical software was 5x versus my later jobs. Early in the job, we watched a video about some plane that navigated into a mountain in New Zealand. That got my attention.

On the other hand, the software development practices were slow to modernize in many cases e.g. FORTRAN 66 (but eventually with a preprocessor).