At a minimum:

Verified source code

Industry-standard library use