Formal verification of complex properties on PLC programs

TitleFormal verification of complex properties on PLC programs
Publication TypeBook Chapter
Year of Publication2014
AuthorsDarvas, D., Fernández Adiego, B., Vörös, A., Bartha, T., Blanco Viñuela, E., and González Suárez, V. M.
EditorÁbrahám, E., and Palamidessi, C.
Book TitleFormal Techniques for Distributed Objects, Components, and Systems
Series TitleLNCS
Volume8461
Pagination284-299
PublisherSpringer
ISBN Number978-3-662-43612-7
URLhttp://link.springer.com/chapter/10.1007/978-3-662-43613-4_18
DOI10.1007/978-3-662-43613-4_18