Partial order verification of programmable logic controllers

DOI10.1007/3-540-45740-2_10MaRDI QIDQ4535176zbMATH OpenFDO

Authors P. Deussen

Publication date 13 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2075/20750144

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• scientific article; zbMATH DE number 1836374
• scientific article; zbMATH DE number 1836378
• Temporal Logic for Programmable Logic Controllers
• scientific article; zbMATH DE number 177254
• Towards interactive verification of programmable logic controllers using modal Kleene algebra and KIV

Cited in

(4)

• Verification of programmable logic controller code using model checking and static analysis
• scientific article; zbMATH DE number 1836374 (Why is no real title available?)
• scientific article; zbMATH DE number 1836378 (Why is no real title available?)
• Temporal Logic for Programmable Logic Controllers

This page was built for publication: Partial order verification of programmable logic controllers

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