Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136521622> ?p ?o ?g. }
- W3136521622 endingPage "422" @default.
- W3136521622 startingPage "401" @default.
- W3136521622 abstract "Abstract SV-COMP 2021 is the 10th edition of the Competition on Software Verification (SV-COMP), which is an annual comparative evaluation of fully automatic software verifiers for C and Java programs. The competition provides a snapshot of the current state of the art in the area, and has a strong focus on reproducibility of its results. The competition was based on 15 201 verification tasks for C programs and 473 verification tasks for Java programs. Each verification task consisted of a program and a property (reachability, memory safety, overflows, termination). SV-COMP 2021 had 30 participating verification systems from 27 teams from 11 countries." @default.
- W3136521622 created "2021-03-29" @default.
- W3136521622 creator A5071340047 @default.
- W3136521622 date "2021-01-01" @default.
- W3136521622 modified "2023-10-14" @default.
- W3136521622 title "Software Verification: 10th Comparative Evaluation (SV-COMP 2021)" @default.
- W3136521622 cites W121297392 @default.
- W3136521622 cites W134339645 @default.
- W3136521622 cites W1517351977 @default.
- W3136521622 cites W1544533039 @default.
- W3136521622 cites W165943180 @default.
- W3136521622 cites W1839583963 @default.
- W3136521622 cites W1848718052 @default.
- W3136521622 cites W1923543252 @default.
- W3136521622 cites W2078988604 @default.
- W3136521622 cites W2086631793 @default.
- W3136521622 cites W2119142490 @default.
- W3136521622 cites W2149907859 @default.
- W3136521622 cites W2161253570 @default.
- W3136521622 cites W2179309410 @default.
- W3136521622 cites W241804591 @default.
- W3136521622 cites W2467636347 @default.
- W3136521622 cites W2474562651 @default.
- W3136521622 cites W2483771058 @default.
- W3136521622 cites W2498141432 @default.
- W3136521622 cites W2501678966 @default.
- W3136521622 cites W2508576555 @default.
- W3136521622 cites W2542671290 @default.
- W3136521622 cites W2548985278 @default.
- W3136521622 cites W2600771941 @default.
- W3136521622 cites W2603044584 @default.
- W3136521622 cites W2604459184 @default.
- W3136521622 cites W2750327884 @default.
- W3136521622 cites W2756404343 @default.
- W3136521622 cites W2758909434 @default.
- W3136521622 cites W2765527199 @default.
- W3136521622 cites W2796681537 @default.
- W3136521622 cites W2803369237 @default.
- W3136521622 cites W2805419234 @default.
- W3136521622 cites W2806600916 @default.
- W3136521622 cites W2808095428 @default.
- W3136521622 cites W2913717796 @default.
- W3136521622 cites W2929483929 @default.
- W3136521622 cites W2929832674 @default.
- W3136521622 cites W2932603064 @default.
- W3136521622 cites W2934127774 @default.
- W3136521622 cites W2934813222 @default.
- W3136521622 cites W2942066171 @default.
- W3136521622 cites W2951009962 @default.
- W3136521622 cites W2956182160 @default.
- W3136521622 cites W2988671542 @default.
- W3136521622 cites W2998575274 @default.
- W3136521622 cites W2998743141 @default.
- W3136521622 cites W3016370218 @default.
- W3136521622 cites W3016591891 @default.
- W3136521622 cites W3016735677 @default.
- W3136521622 cites W3016875846 @default.
- W3136521622 cites W3017047012 @default.
- W3136521622 cites W3017149008 @default.
- W3136521622 cites W3023191959 @default.
- W3136521622 cites W3043762393 @default.
- W3136521622 cites W3095171352 @default.
- W3136521622 cites W3105410168 @default.
- W3136521622 cites W3136640119 @default.
- W3136521622 cites W3136901529 @default.
- W3136521622 cites W3137332396 @default.
- W3136521622 cites W3137473159 @default.
- W3136521622 cites W3137985772 @default.
- W3136521622 cites W3138215831 @default.
- W3136521622 cites W3138661355 @default.
- W3136521622 cites W3138999919 @default.
- W3136521622 cites W3139291116 @default.
- W3136521622 cites W3212336391 @default.
- W3136521622 cites W327452528 @default.
- W3136521622 cites W4225637722 @default.
- W3136521622 cites W4240399292 @default.
- W3136521622 cites W577336618 @default.
- W3136521622 cites W70032344 @default.
- W3136521622 cites W72876461 @default.
- W3136521622 cites W831708374 @default.
- W3136521622 cites W95161029 @default.
- W3136521622 cites W3016957486 @default.
- W3136521622 cites W3017214311 @default.
- W3136521622 doi "https://doi.org/10.1007/978-3-030-72013-1_24" @default.
- W3136521622 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/7984550" @default.
- W3136521622 hasPublicationYear "2021" @default.
- W3136521622 type Work @default.
- W3136521622 sameAs 3136521622 @default.
- W3136521622 citedByCount "42" @default.
- W3136521622 countsByYear W31365216222021 @default.
- W3136521622 countsByYear W31365216222022 @default.
- W3136521622 countsByYear W31365216222023 @default.
- W3136521622 crossrefType "book-chapter" @default.
- W3136521622 hasAuthorship W3136521622A5071340047 @default.
- W3136521622 hasBestOaLocation W31365216221 @default.
- W3136521622 hasConcept C111498074 @default.
- W3136521622 hasConcept C115903868 @default.
- W3136521622 hasConcept C136643341 @default.