© Itris Automation 2015 PLC Checker verification is a one-click process: Analysis are launched from the developers workstations and results are displayed in an intuitive…