PDF

Description

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 abstractions of these formulas in a context. We discuss a connection between this problem and optimization and give efficient algorithms to compute refinements and abstractions of linear inequality constraints.

Details

Files

Statistics

from
to
Export
Download Full History