Software Migrations Ltd. (SML) is a company that has been at the forefront of the automated comprehension and migration of Assembler Language Programs for the last 30 years.
Our FermaT toolset is based on Formal Methods and the use of Infinitary First Order Logic. The underlying mathematics has been peer-reviewed at least fifty times over the years and verified in every case. This mathematics and its application within the FermaT toolset guarantees that the code produced is functionally equivalent to the original Assembler code. This includes our own Wide Spectrum Language (WSL) Pseudocode, Cobol, C or Java.