Loopfrog - loop summarization for static analysis.

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

Browse the full CADE paper archive.