A Bit About Us

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.

This means that if the Cobol, C or the Java is executed it will perform exactly the same functions as the original Assembler.

In recent years customers have been focused on moving their Assembler systems from expensive mainframe platforms to cost-effective cloud platforms, achieving savings of 40% or more.

Our Core Values

Our Clients