3 ms·
SQLite went through thorough testing, not verification. These are two different things.
by nialv7 9y ago
SQLite went through thorough testing, not verification.
These are two different things.
- adwn 9y ago> 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.