Abstraction Refinement for Quantified Array Assertions

@inproceedings{Seghir2009AbstractionRF,
  title={Abstraction Refinement for Quantified Array Assertions},
  author={Mohamed Nassim Seghir and Andreas Podelski and Thomas Wies},
  booktitle={SAS},
  year={2009}
}
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir, Andreas Podelski, and Thomas Wies 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We present an abstraction refinement technique for the verification of universally quantified array assertions such as “all elements in the array are sorted”. Our technique can be seamlessly combined with We present an abstraction refinement technique for the verification of universally quantified array assertions such as “all… CONTINUE READING
Highly Cited
This paper has 53 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

53 Citations

051015'11'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…