Matches in SemOpenAlex for { <https://semopenalex.org/work/W3126297941> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W3126297941 abstract "Deductive verification of a string to integer conversion program kstrtoul in Linux OS kernel library is described. The kstrtoul program calculates the integer value presented as a char sequence of digits. To simplify program verification the transformations of replacing pointer operators to equivalent actions without pointers are conducted. Model of inner program state are constructed to enhance program specification. Deductive verification was conducted in the tools Why3 and Coq." @default.
- W3126297941 created "2021-02-15" @default.
- W3126297941 creator A5072166432 @default.
- W3126297941 date "2020-01-01" @default.
- W3126297941 modified "2023-10-11" @default.
- W3126297941 title "VERIFICATION OF A STRING TO INTEGER CONVERSION PROGRAM" @default.
- W3126297941 doi "https://doi.org/10.31144/si.2307-6410.2020.n17.p43-90" @default.
- W3126297941 hasPublicationYear "2020" @default.
- W3126297941 type Work @default.
- W3126297941 sameAs 3126297941 @default.
- W3126297941 citedByCount "0" @default.
- W3126297941 crossrefType "journal-article" @default.
- W3126297941 hasAuthorship W3126297941A5072166432 @default.
- W3126297941 hasBestOaLocation W31262979411 @default.
- W3126297941 hasConcept C118615104 @default.
- W3126297941 hasConcept C150202949 @default.
- W3126297941 hasConcept C157486923 @default.
- W3126297941 hasConcept C199360897 @default.
- W3126297941 hasConcept C33923547 @default.
- W3126297941 hasConcept C37914503 @default.
- W3126297941 hasConcept C41008148 @default.
- W3126297941 hasConcept C74193536 @default.
- W3126297941 hasConcept C80444323 @default.
- W3126297941 hasConcept C9390403 @default.
- W3126297941 hasConcept C97137487 @default.
- W3126297941 hasConceptScore W3126297941C118615104 @default.
- W3126297941 hasConceptScore W3126297941C150202949 @default.
- W3126297941 hasConceptScore W3126297941C157486923 @default.
- W3126297941 hasConceptScore W3126297941C199360897 @default.
- W3126297941 hasConceptScore W3126297941C33923547 @default.
- W3126297941 hasConceptScore W3126297941C37914503 @default.
- W3126297941 hasConceptScore W3126297941C41008148 @default.
- W3126297941 hasConceptScore W3126297941C74193536 @default.
- W3126297941 hasConceptScore W3126297941C80444323 @default.
- W3126297941 hasConceptScore W3126297941C9390403 @default.
- W3126297941 hasConceptScore W3126297941C97137487 @default.
- W3126297941 hasIssue "17" @default.
- W3126297941 hasLocation W31262979411 @default.
- W3126297941 hasOpenAccess W3126297941 @default.
- W3126297941 hasPrimaryLocation W31262979411 @default.
- W3126297941 hasRelatedWork W151844318 @default.
- W3126297941 hasRelatedWork W2039139011 @default.
- W3126297941 hasRelatedWork W2045903735 @default.
- W3126297941 hasRelatedWork W2166247150 @default.
- W3126297941 hasRelatedWork W2179625294 @default.
- W3126297941 hasRelatedWork W2378263175 @default.
- W3126297941 hasRelatedWork W2899100898 @default.
- W3126297941 hasRelatedWork W4237187719 @default.
- W3126297941 hasRelatedWork W4243252198 @default.
- W3126297941 hasRelatedWork W2473782931 @default.
- W3126297941 isParatext "false" @default.
- W3126297941 isRetracted "false" @default.
- W3126297941 magId "3126297941" @default.
- W3126297941 workType "article" @default.