Comment by noAnswer

Obligatory mention of SQLight going the DO-178B route.

https://corecursive.com/066-sqlite-with-richard-hipp/#testin...

"Richard Hipp: Getting that last 5% is really, really hard and it took about a year for me to get there, but once we got to that point, we stopped getting bug reports from Android.

"Richard Hipp: Yes, so we’ll do billions of tests."