In this paper we present the application of the formal testing method to the statechart
notation. The method is proposed for deriving test sets for complex statecharts, ie containing …

We give a comprehensive technical overview of our work on rigorous verification of
compiling specification and compiler implementation of an initial correct binary compiler …

In many cases, the effort of proving the correctness of large program systems seems not to
be justifiable. Since heuristics and programming tricks are used and necessary to solve …

This paper sketches a rigorous correctness proof of a compiler executable. We will
emphasize the central rôle of partial program correctness and its preservation, which …

During the software development process it is important to use powerful techniques for
proving the expected behavior of the system and hence avoiding failures in real applications …

The article starts out from the observation that software engineering splits in two large
activity areas: Software specification with its verification and software implementation with its …

Our research is aimed at providing practical means for specification of programming
languages and increasing the reliability of programming language compilers. The question …

Abstract Trojan horses of Thompson-Goerigk-type are intended software errors very hidden
in machine level compiler implementations although the latter have successfully passed …

After completion of the ProCoS projects, the ProCoS group at Kiel, headed by Prof. Hans
Langmaack, continued research on the broad scope of topics that the ProCoS projects had …

After completion of the ProCoS projects, the ProCoS group at Kiel, headed by Prof. Hans
Langmaack, continued research on the broad scope of topics that the ProCoS projects had …