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.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.identifier.isbn	3-88579-391-1
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/28363
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
gi.citation.endPage	128
gi.citation.publisherPlace	Bonn
gi.citation.startPage	125
gi.conference.date	5.-8. April 2005
gi.conference.location	Regensburg
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1