Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

SAS
2010
Springer

favoriteEmaildiscussreport

108views Formal Methods» more SAS 2010»

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables

13 years 2 months ago

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables

Download www-pequan.lip6.fr

Alexandre Chapoutot

Real-time Traffic

Formal Methods | SAS 2010 |

claim paper

Related Content

» Interval Polyhedra An Abstract Domain to Infer Interval Linear Relationships

» Deriving Numerical Abstract Domains via Principal Component Analysis

» A BoxConsistency Contractor Based on Extremal Functions

» SubPolyhedra A More Scalable Approach to Infer Linear Inequalities

» Prospector Multiscale Energy Measurement of Networked Embedded Systems with Wideband Power...

Post Info
More Details (n/a)

Added	30 Jan 2011
Updated	30 Jan 2011
Type	Journal
Year	2010
Where	SAS
Authors	Alexandre Chapoutot

Comments (0)