Reverse Engineering from Assembler to Formal Specifications via Program Transformations

M. P. Ward

The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an industr…