Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.

Liqian Chen Antoine Miné Ji Wang Patrick Cousot

Published in: SAS (2009)

Keyphrases

domain independent
linear systems
domain specific
interval analysis
real time
neural network
real world
website
case study
fuzzy sets
closed form
interval data