The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc changes might have disastrous effects on the system and must be prevented under all circumstances , which requires the understanding of the details of source code and system… (More)
A trace is a record of the execution of a computer program , showing the sequence of operations executed. Dynamic traces are obtained by executing the program and depend upon the input. Static traces, on the other hand, describe potential sequences of operations extracted statically from the source code. Static traces offer the advantage that they do not… (More)
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which uses an abstract program representation enabling us to use different pointer analyses ranging from fast but imprecise to slow but precise ones. Our implementation includes the computation of… (More)
Verifikation Das Endziel bei der Beschäftigung mit Protokollen besteht aus einer automatischen Prüfung der
Funktionsweiseunseres Ansatzes auch einige praxisrelevante Aspekteder Interaktionsge-staltung.
len durchgeführt wird.