Skip to main navigation
Skip to search
Skip to main content
Aston Research Explorer Home
Help & FAQ
Home
Research units
Profiles
Research Outputs
Datasets
Student theses
Activities
Press/Media
Prizes
Equipment
Search by expertise, name or affiliation
Polynomial function intervals for floating-point software verification
Jan Duracz
*
, Michal Konečný
*
Corresponding author for this work
Computer Science Research Group
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Polynomial function intervals for floating-point software verification'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Polynomial Function
100%
Publicly Available
100%
Software Verification
100%
Floating-point
100%
Tight
66%
Specification Language
66%
Cost Performance
33%
Programmer
33%
Real Variables
33%
Functional Properties
33%
Scalability Study
33%
Source Code
33%
Expressive Language
33%
Riemann Integration
33%
Example Programs
33%
Functional Specification
33%
Real Interval
33%
Verification Tool
33%
Prover
33%
Numerical Software
33%
Classical Analysis
33%
Interval Arithmetic
33%
Arithmetic Expressions
33%
Polynomial Approximation
33%
Exact Integrals
33%
Integral Operator
33%
Automated Tool
33%
Interval Function
33%
Numerical Program
33%
Computer Science
Floating Point
100%
Specification Language
100%
Software Verification
100%
Interval Function
100%
Approximation (Algorithm)
50%
Automated Tool
50%
Polynomial Approximation
50%
Functional Specification
50%
Functional Property
50%
Point Implementation
50%
Arithmetic Expression
50%