A Study of Model-Order Reduction Techniques for Verification

DOI10.1007/978-3-319-63501-9_8MaRDI QIDQ5086232zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

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)