We call this compositional verification.
苏商银行特约研究员武泽伟的一段话，我觉得值得所有创始人思考：银行探索开源工具应用，需要满足多重前提条件。首先，必须建立完善的开源软件治理体系，包括配套组织架构、管理规章制度、全生命周期流程管理及风险管理机制。其次，需要具备开源软件全生命周期的管控能力，从引入评估、使用监控到退出处置均有标准化流程。。吃瓜对此有专业解读
。关于这个话题，手游提供了深入分析
Марина Совина (ночной редактор)
柏林城里人行道上的铜质“绊脚石”纪念碑 摄影 袁启明，这一点在超级工厂中也有详细论述