On Local Reasoning in Verification

  title={On Local Reasoning in Verification},
  author={Carsten Ihlemann and Swen Jacobs and Viorica Sofronie-Stokkermans},
We present a general framework which allows to identify complex theories important in verification for which efficient reasoning methods exist. The framework we present is based on a general notion of locality. We show that locality considerations allow us to obtain parameterized decidability and complexity results for many (combinations of) theories important in verification in general and in the verification of parametric systems in particular. We give numerous examples; in particular we show… CONTINUE READING



Citations per Year

84 Citations

Semantic Scholar estimates that this publication has 84 citations based on the available data.

See our FAQ for additional information.