compilers, program checkers or system analysis tools.
In this talk we will take a look at some real-world representatives
of such applications and study the use (or lack) of PA in them.
Based on these results we will present some approaches to enable the use
of powerful PA in real-world applications.
Some thoughts on the design of a well founded framework for the combination
of different PA w