Context-Aided Variable Elimination for Requirement Engineering
From Murray Wiki
Jump to navigationJump to search
| Title | Context-Aided Variable Elimination for Requirement Engineering |
|---|---|
| Authors | Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia |
| Source | Submitted, 2023 Formal Methods in Computer-Aided Design (FMCAD) |
| Abstract | Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This paper presents algorithms for eliminating variables from formulas by computing refinements or relaxations of these formulas in a context. We discuss a connection between this problem and optimization and give efficient algorithms to compute refinements and relaxations of linear inequality constraints. |
| Type | Conference submission |
| URL | https://arxiv.org/pdf/2305.17596.pdf |
| DOI | |
| Tag | Inc+23-FMCAD |
| ID | 2023a |
| Funding | |
| Flags |
