Computer Science

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
  • 3.00pm
  • 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.