Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082763896> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3082763896 abstract "VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties---something that lies beyond the capabilities of fully automatic verification, and requires instead human expertise to suitably encode programs, specifications, and invariants. This paper describes the 8th edition of VerifyThis, which took place at ETAPS 2019 in Prague. Thirteen teams entered the competition, which consisted of three verification challenges and spanned two days of work. The report analyzes how the participating teams fared on these challenges, reflects on what makes a verification challenge more or less suitable for the typical VerifyThis participants, and outlines the difficulties of comparing the work of teams using wildly different verification approaches in a competition focused on the human aspect." @default.
- W3082763896 created "2020-09-08" @default.
- W3082763896 creator A5003866910 @default.
- W3082763896 creator A5031470846 @default.
- W3082763896 creator A5045181048 @default.
- W3082763896 creator A5067462015 @default.
- W3082763896 creator A5073853337 @default.
- W3082763896 date "2020-08-31" @default.
- W3082763896 modified "2023-09-23" @default.
- W3082763896 title "VerifyThis 2019: A Program Verification Competition (Extended Report)" @default.
- W3082763896 cites W1553511155 @default.
- W3082763896 cites W1568098114 @default.
- W3082763896 cites W1571434026 @default.
- W3082763896 cites W177306140 @default.
- W3082763896 cites W1820726602 @default.
- W3082763896 cites W1981457167 @default.
- W3082763896 cites W1993255342 @default.
- W3082763896 cites W2079614594 @default.
- W3082763896 cites W2119929369 @default.
- W3082763896 cites W2130413791 @default.
- W3082763896 cites W2132051278 @default.
- W3082763896 cites W2294722445 @default.
- W3082763896 cites W2306184505 @default.
- W3082763896 cites W2743936024 @default.
- W3082763896 cites W2746792245 @default.
- W3082763896 cites W2762980364 @default.
- W3082763896 cites W2800309713 @default.
- W3082763896 cites W2901454403 @default.
- W3082763896 cites W2926102038 @default.
- W3082763896 cites W2931334490 @default.
- W3082763896 cites W3172666363 @default.
- W3082763896 cites W346140615 @default.
- W3082763896 cites W773812020 @default.
- W3082763896 hasPublicationYear "2020" @default.
- W3082763896 type Work @default.
- W3082763896 sameAs 3082763896 @default.
- W3082763896 citedByCount "0" @default.
- W3082763896 crossrefType "posted-content" @default.
- W3082763896 hasAuthorship W3082763896A5003866910 @default.
- W3082763896 hasAuthorship W3082763896A5031470846 @default.
- W3082763896 hasAuthorship W3082763896A5045181048 @default.
- W3082763896 hasAuthorship W3082763896A5067462015 @default.
- W3082763896 hasAuthorship W3082763896A5073853337 @default.
- W3082763896 hasConcept C104317684 @default.
- W3082763896 hasConcept C115903868 @default.
- W3082763896 hasConcept C127413603 @default.
- W3082763896 hasConcept C185592680 @default.
- W3082763896 hasConcept C18762648 @default.
- W3082763896 hasConcept C18903297 @default.
- W3082763896 hasConcept C41008148 @default.
- W3082763896 hasConcept C55493867 @default.
- W3082763896 hasConcept C66746571 @default.
- W3082763896 hasConcept C78519656 @default.
- W3082763896 hasConcept C86803240 @default.
- W3082763896 hasConcept C91306197 @default.
- W3082763896 hasConceptScore W3082763896C104317684 @default.
- W3082763896 hasConceptScore W3082763896C115903868 @default.
- W3082763896 hasConceptScore W3082763896C127413603 @default.
- W3082763896 hasConceptScore W3082763896C185592680 @default.
- W3082763896 hasConceptScore W3082763896C18762648 @default.
- W3082763896 hasConceptScore W3082763896C18903297 @default.
- W3082763896 hasConceptScore W3082763896C41008148 @default.
- W3082763896 hasConceptScore W3082763896C55493867 @default.
- W3082763896 hasConceptScore W3082763896C66746571 @default.
- W3082763896 hasConceptScore W3082763896C78519656 @default.
- W3082763896 hasConceptScore W3082763896C86803240 @default.
- W3082763896 hasConceptScore W3082763896C91306197 @default.
- W3082763896 hasOpenAccess W3082763896 @default.
- W3082763896 hasRelatedWork W1568098114 @default.
- W3082763896 hasRelatedWork W1574293607 @default.
- W3082763896 hasRelatedWork W1986216368 @default.
- W3082763896 hasRelatedWork W1998248566 @default.
- W3082763896 hasRelatedWork W2019920059 @default.
- W3082763896 hasRelatedWork W2019925559 @default.
- W3082763896 hasRelatedWork W2028838922 @default.
- W3082763896 hasRelatedWork W2089210111 @default.
- W3082763896 hasRelatedWork W2091407307 @default.
- W3082763896 hasRelatedWork W2142170130 @default.
- W3082763896 hasRelatedWork W2183584003 @default.
- W3082763896 hasRelatedWork W271848753 @default.
- W3082763896 hasRelatedWork W2728008558 @default.
- W3082763896 hasRelatedWork W2768958724 @default.
- W3082763896 hasRelatedWork W2904998237 @default.
- W3082763896 hasRelatedWork W3011444407 @default.
- W3082763896 hasRelatedWork W3020850951 @default.
- W3082763896 hasRelatedWork W3134314146 @default.
- W3082763896 hasRelatedWork W37020588 @default.
- W3082763896 hasRelatedWork W811828797 @default.
- W3082763896 isParatext "false" @default.
- W3082763896 isRetracted "false" @default.
- W3082763896 magId "3082763896" @default.
- W3082763896 workType "article" @default.