A programmable logic controller (PLC) is a specialized type of computer designed for applications requiring high reliability, ease of programming and sophisticated fault diagnosis. PLC Programming requires a specialized professional to input information into PLC to avoid machine malfunction. This programming is of extreme importance to industrial applications.

The validation service of PLC programme provided by Medival Technologies, greatly reduces the testing effort and provides a close link between overall system safety requirements and the PLC program. Moreover the PLC programs validation is close to the validation of programming languages and the properties concern the safety,the reliability as well as the availability of the system.