SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation
This paper introduces SemaPLC, a tool that helps generate PLC code that works correctly by verifying it against external checks, ensuring it meets specifications and behaves as expected in real-world conditions. Practitioners can use SemaPLC to improve the quality of their PLC projects.