Context-Aided Variable Elimination for Requirement Engineering
Logic in Computer Science
2024-11-22 v1 Systems and Control
Systems and Control
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.
Cite
@article{arxiv.2305.17596,
title = {Context-Aided Variable Elimination for Requirement Engineering},
author = {Inigo Incer and Albert Benveniste and Richard M. Murray and Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia},
journal= {arXiv preprint arXiv:2305.17596},
year = {2024}
}