Murray: Created page with "{{Paper |Title=Context-Aided Variable Elimination for Requirement Engineering |Authors=Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto Sangiovanni-Vincentelli, 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 f..."

2023-12-27T20:39:05Z

Created page with "{{Paper |Title=Context-Aided Variable Elimination for Requirement Engineering |Authors=Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto Sangiovanni-Vincentelli, 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 f..."

New page

{{Paper
|Title=Context-Aided Variable Elimination for Requirement Engineering
|Authors=Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto Sangiovanni-Vincentelli, 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.
|URL=https://arxiv.org/pdf/2305.17596.pdf
|Type=Conference submission
|ID=2023a
|Tag=Inc+23-FMCAD
}}

Context-Aided Variable Elimination for Requirement Engineering - Revision history