Auflistung nach Autor:in "Deutsch, Alain"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragNew test approach for embedded applications(Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Deutsch, Alain; Wissing, KlausThis 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.