Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081701315> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2081701315 abstract "The verification of real-life C/C++ code is inherently hard. Not only are there numerous challenging language constructs, but the precise semantics is often elusive or at best vague. This is even more true for systems software where non-ANSI compliant constructs are used, hardware is addressed directly and assembly code is embedded. In this work we present a lightweight solution to detect software bugs in C/C++ code. Our approach performs static checking on C/C++ code by means of model checking. While it cannot guarantee full functional correctness, it can be a valuable tool to increase the reliability and trustworthiness of real-life system code. This paper explains the general concepts of our approach, discusses its implementation in our C/C++ checking tool Goanna, and presents some performance results on large software packages." @default.
- W2081701315 created "2016-06-24" @default.
- W2081701315 creator A5080434445 @default.
- W2081701315 date "2008-10-19" @default.
- W2081701315 modified "2023-10-14" @default.
- W2081701315 title "Architecture of Embedded System Software" @default.
- W2081701315 cites W2013658284 @default.
- W2081701315 doi "https://doi.org/10.5539/cis.v1n4p155" @default.
- W2081701315 hasPublicationYear "2008" @default.
- W2081701315 type Work @default.
- W2081701315 sameAs 2081701315 @default.
- W2081701315 citedByCount "0" @default.
- W2081701315 crossrefType "journal-article" @default.
- W2081701315 hasAuthorship W2081701315A5080434445 @default.
- W2081701315 hasBestOaLocation W20817013151 @default.
- W2081701315 hasConcept C110251889 @default.
- W2081701315 hasConcept C115903868 @default.
- W2081701315 hasConcept C149091818 @default.
- W2081701315 hasConcept C149635348 @default.
- W2081701315 hasConcept C154488198 @default.
- W2081701315 hasConcept C177264268 @default.
- W2081701315 hasConcept C184337299 @default.
- W2081701315 hasConcept C199360897 @default.
- W2081701315 hasConcept C2776760102 @default.
- W2081701315 hasConcept C2777904410 @default.
- W2081701315 hasConcept C41008148 @default.
- W2081701315 hasConcept C55439883 @default.
- W2081701315 hasConceptScore W2081701315C110251889 @default.
- W2081701315 hasConceptScore W2081701315C115903868 @default.
- W2081701315 hasConceptScore W2081701315C149091818 @default.
- W2081701315 hasConceptScore W2081701315C149635348 @default.
- W2081701315 hasConceptScore W2081701315C154488198 @default.
- W2081701315 hasConceptScore W2081701315C177264268 @default.
- W2081701315 hasConceptScore W2081701315C184337299 @default.
- W2081701315 hasConceptScore W2081701315C199360897 @default.
- W2081701315 hasConceptScore W2081701315C2776760102 @default.
- W2081701315 hasConceptScore W2081701315C2777904410 @default.
- W2081701315 hasConceptScore W2081701315C41008148 @default.
- W2081701315 hasConceptScore W2081701315C55439883 @default.
- W2081701315 hasIssue "4" @default.
- W2081701315 hasLocation W20817013151 @default.
- W2081701315 hasLocation W20817013152 @default.
- W2081701315 hasOpenAccess W2081701315 @default.
- W2081701315 hasPrimaryLocation W20817013151 @default.
- W2081701315 hasRelatedWork W1593480824 @default.
- W2081701315 hasRelatedWork W1985198438 @default.
- W2081701315 hasRelatedWork W2134074991 @default.
- W2081701315 hasRelatedWork W2149391410 @default.
- W2081701315 hasRelatedWork W2272373831 @default.
- W2081701315 hasRelatedWork W2360891376 @default.
- W2081701315 hasRelatedWork W2363655010 @default.
- W2081701315 hasRelatedWork W2364604049 @default.
- W2081701315 hasRelatedWork W2373687633 @default.
- W2081701315 hasRelatedWork W2384845090 @default.
- W2081701315 hasVolume "1" @default.
- W2081701315 isParatext "false" @default.
- W2081701315 isRetracted "false" @default.
- W2081701315 magId "2081701315" @default.
- W2081701315 workType "article" @default.