Practical study of software reverse engineering with formal method
Zhaoshun Wang · Jisuanji gongcheng yu sheji · 2005
Formal method supplies rigorous and self-contained theory basis for the software reverse engineering, but it is rarely applied in the practice. A method with the use of strongest post-condition to the practice of reverse engineering of command program language is introduced. The approach to abstract the source code with 3 steps can get the specifications with rigorous correctness and consistency, and it also puts forward a concrete method for implementation.