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

MaRDI QIDQ2827930zbMATH OpenFDO

Authors Sebastian Biallas

Publication date 21 October 2016

zbMATH Keywords

formal verificationmodel checkingprogrammable logic controllerstatic analysis

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Detecting races in relay ladder logic programs
• Leveraging Horn clause solving for compositional verification of PLC software
• Automata-based analysis of stage suspended boom systems
• Re-engineering approach for PLC programs based on formal methods.
• scientific article; zbMATH DE number 1836378 (Why is no real title available?)
• Automated Technology for Verification and Analysis

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)