News for hackers. Stuff that matters.

A comment on Why Is SQLite Coded in C? (2017). Parent comment

Re:Why Is SQLite Coded in C? (2017) by nialv7 on Thursday March 15, 2018 @06:01AM (#16591507)
SQLite went through thorough testing, not verification.

These are two different things.

[ Parent | on HN ]
Re:Why Is SQLite Coded in C? (2017) by adwn on Thursday March 15, 2018 @07:22AM (#16591820)
> 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.

[ Parent | on HN ]