Matches in SemOpenAlex for { <https://semopenalex.org/work/W1588001739> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1588001739 abstract "This paper examines both the potential and the limitations of automatic static analysis in the verification of safety-critical Ada software. It provides a critical assessment of a specific analysis tool (the SPARK Examiner) using a concrete example program. Based on me criticism, some basic requirements for a static analysis tool supporting Ada applications are outlined." @default.
- W1588001739 created "2016-06-24" @default.
- W1588001739 creator A5018067045 @default.
- W1588001739 date "1996-01-01" @default.
- W1588001739 modified "2023-09-25" @default.
- W1588001739 title "Use of a static analysis tool for safety-critical Ada applications" @default.
- W1588001739 cites W2075431765 @default.
- W1588001739 cites W2095537634 @default.
- W1588001739 cites W2156836624 @default.
- W1588001739 doi "https://doi.org/10.1007/bfb0013488" @default.
- W1588001739 hasPublicationYear "1996" @default.
- W1588001739 type Work @default.
- W1588001739 sameAs 1588001739 @default.
- W1588001739 citedByCount "4" @default.
- W1588001739 countsByYear W15880017392015 @default.
- W1588001739 crossrefType "book-chapter" @default.
- W1588001739 hasAuthorship W1588001739A5018067045 @default.
- W1588001739 hasConcept C115903868 @default.
- W1588001739 hasConcept C137287247 @default.
- W1588001739 hasConcept C163707989 @default.
- W1588001739 hasConcept C199360897 @default.
- W1588001739 hasConcept C2777904410 @default.
- W1588001739 hasConcept C2781215313 @default.
- W1588001739 hasConcept C41008148 @default.
- W1588001739 hasConcept C529173508 @default.
- W1588001739 hasConcept C97686452 @default.
- W1588001739 hasConceptScore W1588001739C115903868 @default.
- W1588001739 hasConceptScore W1588001739C137287247 @default.
- W1588001739 hasConceptScore W1588001739C163707989 @default.
- W1588001739 hasConceptScore W1588001739C199360897 @default.
- W1588001739 hasConceptScore W1588001739C2777904410 @default.
- W1588001739 hasConceptScore W1588001739C2781215313 @default.
- W1588001739 hasConceptScore W1588001739C41008148 @default.
- W1588001739 hasConceptScore W1588001739C529173508 @default.
- W1588001739 hasConceptScore W1588001739C97686452 @default.
- W1588001739 hasLocation W15880017391 @default.
- W1588001739 hasOpenAccess W1588001739 @default.
- W1588001739 hasPrimaryLocation W15880017391 @default.
- W1588001739 hasRelatedWork W135528214 @default.
- W1588001739 hasRelatedWork W176345319 @default.
- W1588001739 hasRelatedWork W2031525781 @default.
- W1588001739 hasRelatedWork W2109671484 @default.
- W1588001739 hasRelatedWork W2115497885 @default.
- W1588001739 hasRelatedWork W2125724253 @default.
- W1588001739 hasRelatedWork W2157057671 @default.
- W1588001739 hasRelatedWork W2187909170 @default.
- W1588001739 hasRelatedWork W2249287816 @default.
- W1588001739 hasRelatedWork W2361643632 @default.
- W1588001739 hasRelatedWork W2373847207 @default.
- W1588001739 hasRelatedWork W2385770795 @default.
- W1588001739 hasRelatedWork W2387733178 @default.
- W1588001739 hasRelatedWork W2460867013 @default.
- W1588001739 hasRelatedWork W271496016 @default.
- W1588001739 hasRelatedWork W2754666196 @default.
- W1588001739 hasRelatedWork W2891085887 @default.
- W1588001739 hasRelatedWork W2952280609 @default.
- W1588001739 hasRelatedWork W3047939418 @default.
- W1588001739 hasRelatedWork W2962144004 @default.
- W1588001739 isParatext "false" @default.
- W1588001739 isRetracted "false" @default.
- W1588001739 magId "1588001739" @default.
- W1588001739 workType "book-chapter" @default.