Interpolation−based verification of floating−point programs with abstract CDCL
Martin Brain‚ Vijay D’Silva‚ Alberto Griggio‚ Leopold Haller and Daniel Kroening
Book Title
Static Analysis
Pages
412–432
Publisher
Springer Berlin Heidelberg
Year
2013
Martin Brain‚ Vijay D’Silva‚ Alberto Griggio‚ Leopold Haller and Daniel Kroening