Method, computer program and apparatus for analysing a programmable logic controller program

This invention describes a system that automatically checks for errors in industrial control programs, specifically those written in a common format called Ladder logic. It works by converting the program into a mathematical model, then using a specialized computer program to find any mistakes or unexpected behaviors. If an error is found, the system shows the user exactly where and how the problem occurs within the original program.