Matches in SemOpenAlex for { <https://semopenalex.org/work/W2622756066> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2622756066 abstract "Abstract : Over the more than three years of the project Verification Games: Crowd-sourced Formal Verification the verification tools developed by the Programming Languages and Software Engineering group were improved. A series of games were developed by the Center for Game Science: Pipe Jam, Traffic Jam, Flow Jam and Paradox. Verification tools and games were integrated to verify that the Hadoop-common program satisfies constraints that render it free of the following vulnerabilities: injection attacks, incorrect use of format strings, violations of documented locking conventions." @default.
- W2622756066 created "2017-06-15" @default.
- W2622756066 creator A5032068969 @default.
- W2622756066 date "2016-03-01" @default.
- W2622756066 modified "2023-09-24" @default.
- W2622756066 title "Verification Games: Crowd-Sourced Formal Verification" @default.
- W2622756066 doi "https://doi.org/10.21236/ad1006471" @default.
- W2622756066 hasPublicationYear "2016" @default.
- W2622756066 type Work @default.
- W2622756066 sameAs 2622756066 @default.
- W2622756066 citedByCount "0" @default.
- W2622756066 crossrefType "report" @default.
- W2622756066 hasAuthorship W2622756066A5032068969 @default.
- W2622756066 hasConcept C111498074 @default.
- W2622756066 hasConcept C115903868 @default.
- W2622756066 hasConcept C186846655 @default.
- W2622756066 hasConcept C199360897 @default.
- W2622756066 hasConcept C202973057 @default.
- W2622756066 hasConcept C2777904410 @default.
- W2622756066 hasConcept C33054407 @default.
- W2622756066 hasConcept C38652104 @default.
- W2622756066 hasConcept C41008148 @default.
- W2622756066 hasConcept C529173508 @default.
- W2622756066 hasConcept C62460635 @default.
- W2622756066 hasConcept C75606506 @default.
- W2622756066 hasConceptScore W2622756066C111498074 @default.
- W2622756066 hasConceptScore W2622756066C115903868 @default.
- W2622756066 hasConceptScore W2622756066C186846655 @default.
- W2622756066 hasConceptScore W2622756066C199360897 @default.
- W2622756066 hasConceptScore W2622756066C202973057 @default.
- W2622756066 hasConceptScore W2622756066C2777904410 @default.
- W2622756066 hasConceptScore W2622756066C33054407 @default.
- W2622756066 hasConceptScore W2622756066C38652104 @default.
- W2622756066 hasConceptScore W2622756066C41008148 @default.
- W2622756066 hasConceptScore W2622756066C529173508 @default.
- W2622756066 hasConceptScore W2622756066C62460635 @default.
- W2622756066 hasConceptScore W2622756066C75606506 @default.
- W2622756066 hasLocation W26227560661 @default.
- W2622756066 hasOpenAccess W2622756066 @default.
- W2622756066 hasPrimaryLocation W26227560661 @default.
- W2622756066 hasRelatedWork W1508581645 @default.
- W2622756066 hasRelatedWork W1595999523 @default.
- W2622756066 hasRelatedWork W1596831424 @default.
- W2622756066 hasRelatedWork W1597063135 @default.
- W2622756066 hasRelatedWork W1836717328 @default.
- W2622756066 hasRelatedWork W2025501845 @default.
- W2622756066 hasRelatedWork W2041473616 @default.
- W2622756066 hasRelatedWork W2053363987 @default.
- W2622756066 hasRelatedWork W2066685587 @default.
- W2622756066 hasRelatedWork W2117726127 @default.
- W2622756066 hasRelatedWork W2119526945 @default.
- W2622756066 hasRelatedWork W2135337149 @default.
- W2622756066 hasRelatedWork W2145664928 @default.
- W2622756066 hasRelatedWork W2164674422 @default.
- W2622756066 hasRelatedWork W2212093233 @default.
- W2622756066 hasRelatedWork W2309098628 @default.
- W2622756066 hasRelatedWork W294391505 @default.
- W2622756066 hasRelatedWork W297617173 @default.
- W2622756066 hasRelatedWork W344068490 @default.
- W2622756066 hasRelatedWork W2146106430 @default.
- W2622756066 isParatext "false" @default.
- W2622756066 isRetracted "false" @default.
- W2622756066 magId "2622756066" @default.
- W2622756066 workType "report" @default.