9.2 基于原型系统的可重构验证研究