Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams.

Christian Dernehl, Norman Hansen, Stefan Kowalewski

Browse the full SEFM paper archive.