PAPERS

Title:Deciding Floating-Point Logic with Systematic Abstraction
Links:Homepage
Document as PDF
Authors:Leopold Haller
Alberto Griggio
Martin Brain
Daniel Kroening EMail
Remarks:
Topics:

Bibtex:

@inproceedings{hgbk2012-fmcad,
  AUTHOR    = { Haller, Leopold
                and Griggio, Alberto
                and Brain, Martin
                and Kroening, Daniel },
  TITLE     = { Deciding Floating-Point Logic with Systematic Abstraction },
  BOOKTITLE = { Formal Methods in Computer-Aided Design (FMCAD) },
  YEAR      = { 2012 },
  PAGES     = { 131--140 },
  ISBN      = { 978-1-4673-4832-4 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.