set of software development practices that create an independently-verifiable path from source code to the binary code used by computers.
Account monitored by @raboof