Abstraction Refinement for Quantified Array Assertions

Mohamed Nassim Seghir, Andreas Podelski, and Thomas Wies

Details

Publication typeInproceedings
Published inStatic Analysis Symposium (SAS 2009)
Pages3-18
Volume5673
SeriesLNCS
PublisherSpringer
> Publications > Abstraction Refinement for Quantified Array Assertions