FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2926102038> ?p ?o ?g. }

• W2926102038 endingPage "195" @default.
• W2926102038 startingPage "176" @default.
• W2926102038 abstract "VerifyThis is a series of competitions that aims to evaluate the current state of deductive tools to prove functional correctness of programs. Such proofs typically require human creativity, and hence it is not possible to measure the performance of tools independently of the skills of its user. Similarly, solutions can be judged by humans only. In this paper, we discuss the role of the human in the competition setup and explore possible future changes to the current format. Regarding the impact of VerifyThis on deductive verification research, a survey conducted among the previous participants shows that the event is a key enabler for gaining insight into other approaches, and that it fosters collaboration and exchange." @default.
• W2926102038 created "2019-04-11" @default.
• W2926102038 creator A5020732166 @default.
• W2926102038 creator A5039009530 @default.
• W2926102038 creator A5045181048 @default.
• W2926102038 creator A5049068584 @default.
• W2926102038 date "2019-01-01" @default.
• W2926102038 modified "2023-09-25" @default.
• W2926102038 title "VerifyThis – Verification Competition with a Human Factor" @default.
• W2926102038 cites W1515421996 @default.
• W2926102038 cites W1545681762 @default.
• W2926102038 cites W1580328473 @default.
• W2926102038 cites W1820726602 @default.
• W2926102038 cites W1989153124 @default.
• W2926102038 cites W1993255342 @default.
• W2926102038 cites W2063362342 @default.
• W2926102038 cites W2079614594 @default.
• W2926102038 cites W2115215132 @default.
• W2926102038 cites W2119929369 @default.
• W2926102038 cites W2130413791 @default.
• W2926102038 cites W2130427425 @default.
• W2926102038 cites W2132051278 @default.
• W2926102038 cites W2147778310 @default.
• W2926102038 cites W2212093233 @default.
• W2926102038 cites W2294722445 @default.
• W2926102038 cites W2565255124 @default.
• W2926102038 cites W2746792245 @default.
• W2926102038 cites W2810768857 @default.
• W2926102038 cites W2927040248 @default.
• W2926102038 cites W2929832674 @default.
• W2926102038 cites W2932603064 @default.
• W2926102038 cites W2942066171 @default.
• W2926102038 cites W3022025871 @default.
• W2926102038 cites W327452528 @default.
• W2926102038 cites W4236287236 @default.
• W2926102038 cites W4250846042 @default.
• W2926102038 cites W4256174789 @default.
• W2926102038 cites W4301259899 @default.
• W2926102038 doi "https://doi.org/10.1007/978-3-030-17502-3_12" @default.
• W2926102038 hasPublicationYear "2019" @default.
• W2926102038 type Work @default.
• W2926102038 sameAs 2926102038 @default.
• W2926102038 citedByCount "11" @default.
• W2926102038 countsByYear W29261020382019 @default.
• W2926102038 countsByYear W29261020382020 @default.
• W2926102038 countsByYear W29261020382021 @default.
• W2926102038 countsByYear W29261020382022 @default.
• W2926102038 crossrefType "book-chapter" @default.
• W2926102038 hasAuthorship W2926102038A5020732166 @default.
• W2926102038 hasAuthorship W2926102038A5039009530 @default.
• W2926102038 hasAuthorship W2926102038A5045181048 @default.
• W2926102038 hasAuthorship W2926102038A5049068584 @default.
• W2926102038 hasBestOaLocation W29261020381 @default.
• W2926102038 hasConcept C107457646 @default.
• W2926102038 hasConcept C108710211 @default.
• W2926102038 hasConcept C11012388 @default.
• W2926102038 hasConcept C115903868 @default.
• W2926102038 hasConcept C121332964 @default.
• W2926102038 hasConcept C15744967 @default.
• W2926102038 hasConcept C18903297 @default.
• W2926102038 hasConcept C199360897 @default.
• W2926102038 hasConcept C22607594 @default.
• W2926102038 hasConcept C2522767166 @default.
• W2926102038 hasConcept C2524010 @default.
• W2926102038 hasConcept C26517878 @default.
• W2926102038 hasConcept C2779662365 @default.
• W2926102038 hasConcept C2781039887 @default.
• W2926102038 hasConcept C33923547 @default.
• W2926102038 hasConcept C38652104 @default.
• W2926102038 hasConcept C41008148 @default.
• W2926102038 hasConcept C542102704 @default.
• W2926102038 hasConcept C55439883 @default.
• W2926102038 hasConcept C62520636 @default.
• W2926102038 hasConcept C77805123 @default.
• W2926102038 hasConcept C86803240 @default.
• W2926102038 hasConcept C91306197 @default.
• W2926102038 hasConceptScore W2926102038C107457646 @default.
• W2926102038 hasConceptScore W2926102038C108710211 @default.
• W2926102038 hasConceptScore W2926102038C11012388 @default.
• W2926102038 hasConceptScore W2926102038C115903868 @default.
• W2926102038 hasConceptScore W2926102038C121332964 @default.
• W2926102038 hasConceptScore W2926102038C15744967 @default.
• W2926102038 hasConceptScore W2926102038C18903297 @default.
• W2926102038 hasConceptScore W2926102038C199360897 @default.
• W2926102038 hasConceptScore W2926102038C22607594 @default.
• W2926102038 hasConceptScore W2926102038C2522767166 @default.
• W2926102038 hasConceptScore W2926102038C2524010 @default.
• W2926102038 hasConceptScore W2926102038C26517878 @default.
• W2926102038 hasConceptScore W2926102038C2779662365 @default.
• W2926102038 hasConceptScore W2926102038C2781039887 @default.
• W2926102038 hasConceptScore W2926102038C33923547 @default.
• W2926102038 hasConceptScore W2926102038C38652104 @default.
• W2926102038 hasConceptScore W2926102038C41008148 @default.
• W2926102038 hasConceptScore W2926102038C542102704 @default.
• W2926102038 hasConceptScore W2926102038C55439883 @default.
• W2926102038 hasConceptScore W2926102038C62520636 @default.
• W2926102038 hasConceptScore W2926102038C77805123 @default.
• W2926102038 hasConceptScore W2926102038C86803240 @default.

• next