Verification of programmable logic controller code using model checking and static analysis

zbMATH Open1348.68004MaRDI QIDQ2827930FDOQ2827930

Authors: Sebastian Biallas 

Publication date: 21 October 2016

Recommendations

• scientific article; zbMATH DE number 1836374
• scientific article; zbMATH DE number 1836378
• scientific article; zbMATH DE number 1755142
• Re-engineering approach for PLC programs based on formal methods.
• scientific article; zbMATH DE number 5718039

zbMATH Keywords

model checkingstatic analysisformal verificationprogrammable logic controller

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (6)

• Detecting races in relay ladder logic programs
• Title not available (Why is that?)
• Re-engineering approach for PLC programs based on formal methods.
• Automata-based analysis of stage suspended boom systems
• Automated Technology for Verification and Analysis
• Leveraging Horn clause solving for compositional verification of PLC software

This page was built for publication: Verification of programmable logic controller code using model checking and static analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827930)