SAFARI: SMT-based Abstraction For Arrays with Interpolants
Informazioni aggiuntive
Autori
Alberti F.,
Bruttomesso R.,
Ranise S.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2012
Lingua
Inglese
Titolo atti di convegno
24th International Conference on Computer Aided Verification (CAV)
Editore
Springer
Luogo convegno
Berkeley, California, USA
