Abstract Interpretation of MATLAB Code with Interval Sets.

Christian Dernehl, Norman Hansen, Stefan Kowalewski

Browse the full FMICS paper archive.