A Study of Model-Order Reduction Techniques for Verification

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

Sriram Sankaranarayanan, Yi Chou, Xin Chen

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)

Cited In (2)

• On the verification of model reduction methods based on the proper generalized decomposition
• Reduced models for efficient CCS verification

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Dynamic partial-order reduction for model checking software 👍 👎
• On the verification of model reduction methods based on the proper generalized decomposition 👍 👎
• Partial Order Reduction for Verification of Real-Time Components 👍 👎
• Formal verification of a partial-order reduction technique for model checking 👍 👎
• Formal verification of an executable LTL model checker with partial order reduction 👍 👎
• Partial-order reduction techniques for real-time model checking 👍 👎
• Model order reduction for object-oriented models: a control systems perspective 👍 👎

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)