Software Cybernetics is adopted by our method to improve reliability of software. A nested control system is established to manage the process of verification. A model is built from requirements to formalize expected behaviors of software. Internal relationships of program are abstracted gradually to construct a model. The feedback is represented by a form of intermediate code.