@article{belolourenco:hal-03737869, TITLE = {{Automated Formal Analysis of Temporal Properties of Ladder Programs}}, AUTHOR = {Belo Louren{\c c}o, Cl{\'a}udio and Cousineau, Denis and Faissole, Florian and March{\'e}, Claude and Mentr{\'e}, David and Inoue, Hiroaki}, URL = {https://inria.hal.science/hal-03737869}, JOURNAL = {{International Journal on Software Tools for Technology Transfer}}, PUBLISHER = {{Springer Verlag}}, YEAR = {2022}, KEYWORDS = {Ladder language for programming PLCs ; Timing charts ; Formal specification ; Deductive verification ; Why3 environment}, PDF = {https://inria.hal.science/hal-03737869/file/sttt.pdf}, HAL_ID = {hal-03737869}, HAL_VERSION = {v1}, }