A Study of Model-Order Reduction Techniques for Verification

DOI10.1007/978-3-319-63501-9_8zbMATH Open1493.93007OpenAlexW2734868194MaRDI QIDQ5086232FDOQ5086232

Authors: Yi Chou, Xin Chen, Sriram Sankaranarayanan 

Publication date: 1 July 2022

Published in: Numerical Software Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63501-9_8

Recommendations

• Formal verification of a partial-order reduction technique for model checking
• Dynamic partial-order reduction for model checking software
• On the verification of model reduction methods based on the proper generalized decomposition
• Partial-order reduction techniques for real-time model checking
• scientific article; zbMATH DE number 3916119
• Partial Order Reduction for Verification of Real-Time Components
• Model order reduction for object-oriented models: a control systems perspective
• scientific article; zbMATH DE number 2087625
• Formal verification of an executable LTL model checker with partial order reduction

Mathematics Subject Classification ID

System structure simplification (93B11) Control/observation systems involving computers (process control, etc.) (93C83) Networked control (93B70)

Cited In (3)

• On the verification of model reduction methods based on the proper generalized decomposition
• Order-reduction abstractions for safety verification of high-dimensional linear systems
• Reduced models for efficient CCS verification

This page was built for publication: A Study of Model-Order Reduction Techniques for Verification

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