PLCverif: A tool to verify PLC programs based on model checking techniques

TitlePLCverif: A tool to verify PLC programs based on model checking techniques
Publication TypeConference Paper
Year of Publication2015
AuthorsDarvas, D., Fernández Adiego, B., and Blanco Viñuela, E.
EditorCorvetti, L., Riches, K., and Schaa, V. R. W.
Conference NameProceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems
Date Published10/2015
PublisherJACoW
Conference LocationMelbourne, Australia
ISBN Number978-3-95450-148-9
URLhttp://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf092.pdf
DOI10.18429/JACoW-ICALEPCS2015-WEPGF092