Logo des Repositoriums
 

New test approach for embedded applications

dc.contributor.authorDeutsch, Alain
dc.contributor.authorWissing, Klaus
dc.contributor.editorBöttinger, Stefan
dc.contributor.editorTheuvsen, Ludwig
dc.contributor.editorRank, Susanne
dc.contributor.editorMorgenstern, Marlies
dc.date.accessioned2019-05-15T09:37:54Z
dc.date.available2019-05-15T09:37:54Z
dc.date.issued2007
dc.description.abstractThis 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.en
dc.identifier.isbn978-3-88579-200-0
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/22698
dc.language.isoen
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofSoftware Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-106
dc.titleNew test approach for embedded applicationsen
dc.typeText/Conference Paper
gi.citation.endPage136
gi.citation.publisherPlaceBonn
gi.citation.startPage127
gi.conference.date27.-30.03.2007
gi.conference.locationHamburg
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
127.pdf
Größe:
416.04 KB
Format:
Adobe Portable Document Format