Gregory's ServerI think this needs some political lobbying to make the sentence "without warranty" invalid in licenses where the buyer never can check for problems-> liability creates market for insurers -> insurers premiums calculation will make secure software cheaper
Open source can shift the warranty problem to the implementor, as they can do the verification themselves. Verification can become a business model themselves. The insurance companies probably find a good model.