And like Peter Neumann, she pushed for reliability and correctness in a field where “eh it compiles, ship it” passes for engineering excellence far too often.