Method verifying the correctness of code refactoring program

The program after code refactoring, probably because a number of coding errors were introduced in the process of reconstruction, and could not properly achieve the function of origi-nal program, and therefore it was necessary to verify its correctness. But currently, it's difficult to prove the...

Full description

Bibliographic Details

Published in:	Tongxin Xuebao Vol. 32; no. 11A; pp. 152 - 157
Main Authors:	Luo, Ting, Guo, Yuan-Bo, Hao, Yao-Hui, Li, Hu
Format:	Journal Article
Language:	Chinese
Published:	01.11.2011
Subjects:	Algorithms China Computer programs Formal specification Program verification (computers) Strategy Synthesis Theorem proving
ISSN:	1000-436X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!