Co-verification approach to control software program for CPS

DOI10.13328/J.CNKI.JOS.005214zbMATH Open1389.68054MaRDI QIDQ3132083FDOQ3132083

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

Publication date: 29 January 2018

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

zbMATH Keywords

automatabounded model checkingcyber-physical systemco-verificationembedded control software program

Mathematics Subject Classification ID

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

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)