具体的には、従来の「高度な保証」を有するソフトウェアでは1行あたりのコストは1000米ドルであるのに対し、開発中のsel4の1行あたりのコストは400米ドルと見積もられた。