Itris Automation is a software vendor specializing in tools for improving PLC program quality, with a focus on automation and computer science since 1995. Their products include automatic verification, documentation generation, and program conversion tools for various PLC brands. The company emphasizes compliance with standards and industry needs amid the transition to Industry 4.0, providing enhanced software development capabilities.