Konferenzbeitrag
New test approach for embedded applications
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Datum
2007
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik
Regular Research Papers
Verlag
Gesellschaft für Informatik e. V.
Zusammenfassung
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.