Abstract Interpretation of MATLAB Code with Interval Sets.

Christian Dernehl Norman Hansen Stefan Kowalewski

Published in: FMICS-AVoCS (2016)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
fine grained
reasoning engine
data warehouse
open source
description language
active databases