Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection

TitleTowards completeness in Bounded Model Checking through Automatic Recursion Depth Detection
Publication TypeConference Paper
Year of Publication2014
AuthorsFedyukovich, Grigory, and Sharygina Natasha
Conference NameBrazilian Symposium on Formal Methods (SBMF)
Conference LocationMaceio, Brazil.
Full Text