Show simple item record

AuthorEhrhardt, Christiandc.contributor.author
Date of accession2016-03-14T15:20:04Zdc.date.accessioned
Available in OPARU since2016-03-14T15:20:04Zdc.date.available
Year of creation2007dc.date.created
AbstractIn this work we follow an intermediate approach that tries to use sound and conservative static code analysis techniques to avoid certain classes of bugs without having to conduct a full blown formal proof of correctness. The methods developed in this work are tailored to concurrent systems where global data is shared between all threads. While this requirement is not strictly necessary for the soundness of the analysis we shall see that it greatly increases the accuracy. In this context accuracy refers to the likelihood that a problem reported by the analysis is caused by an actual bug in the software and not by an inadequacy of the analysis methods. The usefulness of the methods presented will be supported by several case studies conducted on real life software systems of significant size.dc.description.abstract
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandard (Fassung vom 03.05.2003)dc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v1dc.rights.uri
KeywordCode analysisdc.subject
KeywordInterprocess communicationdc.subject
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHSynchronization. Data processingdc.subject.lcsh
LCSHThreadsdc.subject.lcsh
TitleStatic code analysis in multi-threaded environmentsdc.title
Resource typeDissertationdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-1070dc.identifier.doi
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-60825dc.identifier.urn
GNDProgrammcodedc.subject.gnd
FacultyFakultät für Mathematik und Wirtschaftswissenschaftenuulm.affiliationGeneral
Date of activation2007-11-28T09:12:52Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
Shelfmark print versionZ: J-H 9.745 ; N: J-H 5.173uulm.shelfmark
DCMI TypeTextuulm.typeDCMI
VTS ID6082uulm.vtsID
CategoryPublikationenuulm.category
Bibliographyuulmuulm.bibliographie


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record