Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR

Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR

TitleExplaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR
Publication TypeConference Paper
Year of Publication2015
AuthorsTerauchi T
Conference NameStatic Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
URLhttp://dx.doi.org/10.1007/978-3-662-48288-9_8
DOI10.1007/978-3-662-48288-9_8
Undefined