As we know from THERAC-25, etc., comprehensively verifying that code works the way it's expected to is not actually very easy - it's perhaps one of the hardest parts of building any system more complex than a toaster.

Thankfully the CRUD app that is being developed by some random startup is not likely to cause as much harm as the THERAC.