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

Great Products

SML have truly unique approach to Assembler Modernisation. Our core engine is fully automated and mathematically proven, our approach is repeatable to ensure your latest Assembler changes are incorporated through the life of your modernisation project.

Creative Solutions

The SML toolset currently supports business rules recovery in a highly efficient manner. We continue to evolve our toolset to include high-value solutions to simplify and accelerate your modernisation efforts. Our approach is highly collaborative and makes sure we fully leverage our tools and experience for your benefit.

Professional Team

The SML team has extensive Assembler knowledge covering a wide range of operating environments. We combine this knowledge with in depth experience of modern architectures, languages and tools to provide best in class solutions to complex modernisation projects.

Our Clients