Combinational model-checking of PLC programs' verification based on instructions

Authors :: Jiaguang Sun
Ming Gu
Mengyuan Li
Litian Xiao
Source :: 2014 IEEE International Conference on Mechatronics and Automation.
Publication Year :: 2014
Publisher :: IEEE, 2014.

Subjects :: Model checking
Programming language
Computer science
computer.software_genre
computer

Database :: OpenAIRE
Journal :: 2014 IEEE International Conference on Mechatronics and Automation
Accession number :: edsair.doi...........ba823fb01045ab2a85e74880b2c19b7d

Tools