Context-Aided Variable Elimination for Requirement Engineering

From Murray Wiki
Revision as of 20:39, 27 December 2023 by Murray (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Context-Aided_Variable_Elimination_for_Requirement_Engineering&oldid=26109"