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 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 ]

There are no comments on this comment yet.