Co-verification approach to control software program for CPS

DOI10.13328/J.CNKI.JOS.005214MaRDI QIDQ3132083zbMATH OpenFDO

Authors Yu Zhang, Yunwei Dong, Wenlong Feng, Mengxing Huang

Publication date 29 January 2018

zbMATH Keywords

automatabounded model checkingcyber-physical systemco-verificationembedded control software program

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 6719346
• Formal verification of control systems software
• Verification of Supervisory Control Software Using State Proximity and Merging
• Compositional Reasoning for Hardware/Software Co-verification
• Heterogeneous verification of cyber-physical systems using behavior relations

Cited in

(2)

• Verification of Supervisory Control Software Using State Proximity and Merging
• ModelPlex: verified runtime validation of verified cyber-physical system models

This page was built for publication: Co-verification approach to control software program for CPS

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