On Local Reasoning in Verification

@inproceedings{Ihlemann2008OnLR,
  title={On Local Reasoning in Verification},
  author={Carsten Ihlemann and Swen Jacobs and Viorica Sofronie-Stokkermans},
  booktitle={TACAS},
  year={2008}
}
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

Topics

Statistics

0102020082009201020112012201320142015201620172018
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.