Open AccessFormal Verification of PLC Program Safety in Manufacturing Automation System
Author(s) -
Chang Mok Park
Publication year - 2015
Publication title -
anjeon gyeong'yeong gwahag hoeji/journal of the korea safety management and science
Language(s) - English
Resource type - Journals
eISSN - 2288-1484
pISSN - 1229-6783
DOI - 10.12812/ksms.2015.17.1.179
Subject(s) - automation , computer science , tracing , formal methods , formal verification , state (computer science) , fault (geology) , control system , programmable logic controller , control (management) , embedded system , reliability engineering , software engineering , programming language , engineering , operating system , artificial intelligence , mechanical engineering , electrical engineering , seismology , geology