Article ID: | iaor20121766 |
Volume: | 55 |
Issue: | 5-6 |
Start Page Number: | 1819 |
End Page Number: | 1824 |
Publication Date: | Mar 2012 |
Journal: | Mathematical and Computer Modelling |
Authors: | Wang Rui, Xiao Litian, Gu Ming, Sun Jiaguang |
Keywords: | artificial intelligence |
PLC is widely used in the field of automatic control. To use formal methods to verify the correctness of PLC programs, semantic characterization of PLC programs are needed. Based on the extended