Generic Analysis Frameworks
From PUMA Graduiertenkolleg
odern analyzers may no longer concentrate on the verification of specific prperties alone. Instead to achieve sufficient precision, multiple sub-properties must be considered by auxiliary analyses, sometimes even requiring dedicated analysis algorithms. Both from an engineering and a precision perspective, it would be highly desirable, if all these analyses could be expressed and handled within a single framework.