Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction-Reference-Cited by-同舟云学术

Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction

Published:2018 Issue:7 Volume:51 Page:428-433
ISSN:2405-8963
Container-title:IFAC-PapersOnLine
language:en
Short-container-title:IFAC-PapersOnLine

Author:

Bohlender Dimitri,Kowalewski Stefan

Publisher

Elsevier BV

Subject

Control and Systems Engineering

Reference20 articles.

1. Domain types: Abstract-domain selection based on variable usage;Apel;In HVC 2013,2013

2. Regression verification for programmable logic controller software;Beckert;In ICFEM 2015,2015

3. Efficient CTL verification via horn constraints solving;Beyene;In HCVS 2016, 1–14. Beyer, D. (2015). Software verification and verifiable witnesses - (report on SV-COMP 2015). In TACAS 2017,2016

4. Software model checking via large-block encoding;Beyer;In FMCAD 2009,2009

5. Arcade.PLC: A verification platform for programmable logic controllers. In ASE 2012, 338–341;Biallas,2012

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of Control System Runtime Using an Executable Semantic Model;Algorithms;2024-06-22

2. On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems;Modeling and Analysis of Information Systems;2024-03-28

3. K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs;IEEE Transactions on Software Engineering;2023-10-01

4. Security of Programmable Logic Controllers and Related Systems: Today and Tomorrow;IEEE Open Journal of the Industrial Electronics Society;2023

5. Verification of Behavior Trees using Linear Constrained Horn Clauses;Formal Methods for Industrial Critical Systems;2022