Loop Summarization using Abstract Transformers

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, and Christoph M. Wintersteiger

Details

Publication typeInproceedings
Published inProceedings of ATVA 2008
Number5311
SeriesLNCS
PublisherSpringer
> Publications > Loop Summarization using Abstract Transformers