Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
DOI10.1007/978-3-319-24704-5_15zbMath1471.68063DBLPconf/RelMiCS/GluckK15OpenAlexW2227558586WikidataQ62039034 ScholiaQ62039034MaRDI QIDQ3460629
Florian Benedikt Krebs, Roland Glück
Publication date: 8 January 2016
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://elib.dlr.de/117312/1/Vortrag_Bern.pdf
Control/observation systems involving computers (process control, etc.) (93C83) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
This page was built for publication: Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV