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

Celý popis

Podrobná bibliografie

Vydáno v:	Tongxin Xuebao Ročník 32; číslo 11A; s. 152 - 157
Hlavní autoři:	Luo, Ting, Guo, Yuan-Bo, Hao, Yao-Hui, Li, Hu
Médium:	Journal Article
Jazyk:	čínština
Vydáno:	01.11.2011
Témata:	Algorithms China Computer programs Formal specification Program verification (computers) Strategy Synthesis Theorem proving
ISSN:	1000-436X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!