> SQLite went through thorough testing, not verification. These are two different things. I think you're confusing the terms "formal verification" and "verific

> SQLite went through thorough testing, not verification. These are two different things. I think you're confusing the terms "formal verification" and "verification". Testing is a subset of verification, but not of formal verification.