Verification of sequential function charts using SMV. In: PDPTA 2000 special session on Formal Validation, 2000. ,
Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301), pp.4147-4152, 2002. ,
DOI : 10.1109/ACC.2002.1024580
Formal methods in PLC programming, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), pp.2431-2436, 2000. ,
DOI : 10.1109/ICSMC.2000.884356
Formal Verification of the Sequential Part of PLC Programs, Wodes2000 -5th Workshop on Discrete Event Systems, pp.247-254, 2000. ,
DOI : 10.1007/978-1-4615-4493-7_25
Verification of logic controllers for continuous plants using timed condition/event-system models, Automatica, vol.35, issue.3, pp.505-518, 1999. ,
DOI : 10.1016/S0005-1098(98)00179-4
Defining the semantics of languages for programmable controllers with synchronous processes, Control Engineering Practice, vol.1, issue.1, pp.79-84, 1993. ,
DOI : 10.1016/0967-0661(93)92106-E
Formal Verification of PLC Programs, American Control Conference, 1998. ,
Safety properties verification of ladder diagram programs, Journal Européen des Systèmes Automatisés, vol.36, pp.905-917, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00356881