Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Software Engineering 2007- Beiträge zu den Workshops Fachtagung des GI-Fachbereichs Softwaretechnik, 27. - 30.03.2007 in Hamburg P-106, 127-136 (2007).



Stefan Böttinger (ed.), Ludwig Theuvsen (ed.), Susanne Rank (ed.), Marlies Morgenstern (ed.)


New test approach for embedded applications

Alain Deutsch and Klaus Wissing


This paper is a tutorial on the principles and applications of static verification by Abstract Interpretation to development, verification and validation of embedded applications. The topics covered include what Abstract Interpretation is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of runtime errors.

Full Text: PDF

ISBN 978-3-88579-200-0

Last changed 04.10.2013 18:13:55