# A User-Friendly Verification Approach for IEC 61131-3 PLC Programs

> Research article (Electronics, 2020) · cited 16× · AI/ML

**Wikidata**: [openalex:W3013220430](https://www.wikidata.org/wiki/openalex:W3013220430)  
**Source**: https://4ort.xyz/entity/a-user-friendly-verification-approach-for-iec-61131-3-plc-programs