Verifying safety-critical properties of embedded software by abstract interpretation

dc.contributor.author	Heckmann, Reinhold
dc.contributor.author	Ferdinand, Christian
dc.contributor.editor	Federrath, Hannes
dc.date.accessioned	2019-10-11T09:27:53Z
dc.date.available	2019-10-11T09:27:53Z
dc.date.issued	2005
dc.identifier.isbn	3-88579-391-1
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/28363
dc.description.abstract	Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the processor registers. Its results are used as input to more advanced analyses, which ultimately yield information about the stack usage and the timing behavior of embedded software.	en
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Sicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-62
dc.title	Verifying safety-critical properties of embedded software by abstract interpretation	en
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	125-128
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Regensburg
mci.conference.date	5.-8. April 2005