FunFrog: Bounded Model Checking with Interpolation-based Function Summarization
Informazioni aggiuntive
Autori
Sery O.,
Fedyukovich G.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2012
Lingua
Inglese
Titolo atti di convegno
Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA)
Luogo convegno
Thiruvananthapuram, India
