News and events
23 May 2012
Reverse Engineering for Verification
Presented By Professor Hongji Yang, Leader of Software Evolution & Reengineering Group (SERG), De Montfort University
- N112, Haslegrave Building
About this event
Abstract: Software reverse engineering is the process of analysing a subject system to identify the system's components and their interrelationships and to create representations of the system in another form or at a higher level of abstraction. A number of reverse engineering techniques have been experimented lately, mainly in the area of evolving software systems. This talk will go through these basic techniques first and then speculate whether it is possible to apply these techniques in software verification.