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

Mathematics Subject Classification ID

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

• KIV

This page was built for publication: Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV