Matches in SemOpenAlex for { <https://semopenalex.org/work/W3113237617> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3113237617 abstract "As program verification tools are becoming more powerful, and are used on larger programs, their performance also becomes more and more important. In this paper we investigate performance bottlenecks in the VerCors program verifier. Moreover, we also discuss two solutions to the identified performance bottlenecks: an improved encoding of arrays, as well as a technique to automatically generate trigger expressions to guide the underlying prover when reasoning about quantifiers. For both solutions we measure the effect on the performance. We see that the new encoding vastly reduces the verification time of certain programs, while other programs keep showing comparable times. This effect remains when moving to newer backends for VerCors." @default.
- W3113237617 created "2020-12-21" @default.
- W3113237617 creator A5006751254 @default.
- W3113237617 creator A5007009540 @default.
- W3113237617 creator A5045181048 @default.
- W3113237617 date "2020-01-01" @default.
- W3113237617 modified "2023-09-28" @default.
- W3113237617 title "Improving Performance of the VerCors Program Verifier" @default.
- W3113237617 cites W1480909796 @default.
- W3113237617 cites W1574577245 @default.
- W3113237617 cites W1588132240 @default.
- W3113237617 cites W1964830323 @default.
- W3113237617 cites W1989153124 @default.
- W3113237617 cites W2055477538 @default.
- W3113237617 cites W2121101539 @default.
- W3113237617 cites W2130427425 @default.
- W3113237617 cites W2255136059 @default.
- W3113237617 cites W2294722445 @default.
- W3113237617 cites W2491721896 @default.
- W3113237617 cites W2565255124 @default.
- W3113237617 cites W2746792245 @default.
- W3113237617 cites W2978995391 @default.
- W3113237617 doi "https://doi.org/10.1007/978-3-030-64354-6_3" @default.
- W3113237617 hasPublicationYear "2020" @default.
- W3113237617 type Work @default.
- W3113237617 sameAs 3113237617 @default.
- W3113237617 citedByCount "0" @default.
- W3113237617 crossrefType "book-chapter" @default.
- W3113237617 hasAuthorship W3113237617A5006751254 @default.
- W3113237617 hasAuthorship W3113237617A5007009540 @default.
- W3113237617 hasAuthorship W3113237617A5045181048 @default.
- W3113237617 hasBestOaLocation W31132376172 @default.
- W3113237617 hasConcept C108710211 @default.
- W3113237617 hasConcept C125411270 @default.
- W3113237617 hasConcept C154945302 @default.
- W3113237617 hasConcept C159718280 @default.
- W3113237617 hasConcept C199360897 @default.
- W3113237617 hasConcept C2524010 @default.
- W3113237617 hasConcept C33923547 @default.
- W3113237617 hasConcept C41008148 @default.
- W3113237617 hasConcept C80444323 @default.
- W3113237617 hasConceptScore W3113237617C108710211 @default.
- W3113237617 hasConceptScore W3113237617C125411270 @default.
- W3113237617 hasConceptScore W3113237617C154945302 @default.
- W3113237617 hasConceptScore W3113237617C159718280 @default.
- W3113237617 hasConceptScore W3113237617C199360897 @default.
- W3113237617 hasConceptScore W3113237617C2524010 @default.
- W3113237617 hasConceptScore W3113237617C33923547 @default.
- W3113237617 hasConceptScore W3113237617C41008148 @default.
- W3113237617 hasConceptScore W3113237617C80444323 @default.
- W3113237617 hasLocation W31132376171 @default.
- W3113237617 hasLocation W31132376172 @default.
- W3113237617 hasOpenAccess W3113237617 @default.
- W3113237617 hasPrimaryLocation W31132376171 @default.
- W3113237617 hasRelatedWork W1032800 @default.
- W3113237617 hasRelatedWork W11111983 @default.
- W3113237617 hasRelatedWork W11923277 @default.
- W3113237617 hasRelatedWork W12785170 @default.
- W3113237617 hasRelatedWork W1349229 @default.
- W3113237617 hasRelatedWork W14082096 @default.
- W3113237617 hasRelatedWork W14089580 @default.
- W3113237617 hasRelatedWork W16160 @default.
- W3113237617 hasRelatedWork W4187369 @default.
- W3113237617 hasRelatedWork W843524 @default.
- W3113237617 isParatext "false" @default.
- W3113237617 isRetracted "false" @default.
- W3113237617 magId "3113237617" @default.
- W3113237617 workType "book-chapter" @default.