Towards establishing formal verification and inductive code synthesis in the PLC domain
| Title: | Towards establishing formal verification and inductive code synthesis in the PLC domain |
|---|---|
| Authors: | Weis, Matthias; Marks, Philipp; Maschler, Benjamin; White, Dustin; Kesseli, Pascal; Weyrich, Michael |
| Source: | 2021 IEEE 19th International Conference on Industrial Informatics (INDIN) Industrial Informatics (INDIN), 2021 IEEE 19th International Conference on. :1-8 Jul, 2021 |
| Relation: | 2021 IEEE 19th International Conference on Industrial Informatics (INDIN) |
| Database: | IEEE Xplore Digital Library |