Open AccessA Verification Approach for Programmable Logic Controllers
Author(s) -
Xiangyu Luo,
Yong Li,
Wan-xiao Du,
Fan Yang,
Zhigang Yang
Publication year - 2017
Publication title -
destech transactions on engineering and technology research
Language(s) - English
Resource type - Journals
ISSN - 2475-885X
DOI - 10.12783/dtetr/icca2016/6016
Subject(s) - predicate abstraction , programmable logic controller , predicate (mathematical logic) , computer science , counterexample , model checking , abstraction , programming language , theoretical computer science , mathematics , epistemology , philosophy , discrete mathematics , operating system