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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Tongxin Xuebao Jg. 32; H. 11A; S. 152 - 157
Hauptverfasser:	Luo, Ting, Guo, Yuan-Bo, Hao, Yao-Hui, Li, Hu
Format:	Journal Article
Sprache:	Chinesisch
Veröffentlicht:	01.11.2011
Schlagworte:	Algorithms China Computer programs Formal specification Program verification (computers) Strategy Synthesis Theorem proving
ISSN:	1000-436X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!