Yes. But for critical software systems, what excuse does one have not to prove t...

		crimsonalucard on April 19, 2019 \| parent \| context \| favorite \| on: How the Boeing 737 Max disaster looks to a softwar... Yes. But for critical software systems, what excuse does one have not to prove that the software does not match the spec. There is no excuse not to test the spec, but what excuse is there not to prove the software?