TY  - RPRT
TI  - PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
AU  - Ignacio D. Lopez-Miguel
AU  - Jean-Charles Tournier
AU  - Borja Fernandez Adiego
PY  - 2022
DO  - 10.18429/jacow-icalepcs2021-mopv042
UR  - https://arxiv.org/abs/2203.17253
ID  - 2203.17253
ER  -