Matches in SemOpenAlex for { <https://semopenalex.org/work/W2927368889> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2927368889 endingPage "255" @default.
- W2927368889 startingPage "250" @default.
- W2927368889 abstract "VIAP (Verifier for Integer Assignment Programs) is an automated system for verifying safety properties of procedural programs with integer assignments and loops. It is based on a translation from of a program to a set of first-order axioms with quantification over natural numbers, and currently makes use of SymPy as the algebraic simplifier and the SMT solver Z3 as the theorem prover. Our first version of the system competed at SV-COMP 2018. This paper describes VIAP 1.1, a new version that makes use of our newly developed recurrence solver. As a result, VIAP 1.1. is able to verify many programs that were out of reach for the older version VIAP 1.0." @default.
- W2927368889 created "2019-04-11" @default.
- W2927368889 creator A5015457429 @default.
- W2927368889 creator A5089419141 @default.
- W2927368889 date "2019-01-01" @default.
- W2927368889 modified "2023-10-14" @default.
- W2927368889 title "VIAP 1.1" @default.
- W2927368889 cites W1480909796 @default.
- W2927368889 cites W2264437737 @default.
- W2927368889 cites W2800657975 @default.
- W2927368889 cites W2887225054 @default.
- W2927368889 doi "https://doi.org/10.1007/978-3-030-17502-3_23" @default.
- W2927368889 hasPublicationYear "2019" @default.
- W2927368889 type Work @default.
- W2927368889 sameAs 2927368889 @default.
- W2927368889 citedByCount "3" @default.
- W2927368889 countsByYear W29273688892019 @default.
- W2927368889 countsByYear W29273688892022 @default.
- W2927368889 countsByYear W29273688892023 @default.
- W2927368889 crossrefType "book-chapter" @default.
- W2927368889 hasAuthorship W2927368889A5015457429 @default.
- W2927368889 hasAuthorship W2927368889A5089419141 @default.
- W2927368889 hasBestOaLocation W29273688891 @default.
- W2927368889 hasConcept C95457728 @default.
- W2927368889 hasConceptScore W2927368889C95457728 @default.
- W2927368889 hasLocation W29273688891 @default.
- W2927368889 hasOpenAccess W2927368889 @default.
- W2927368889 hasPrimaryLocation W29273688891 @default.
- W2927368889 hasRelatedWork W2067388071 @default.
- W2927368889 hasRelatedWork W2319470185 @default.
- W2927368889 hasRelatedWork W2478337908 @default.
- W2927368889 hasRelatedWork W2480794981 @default.
- W2927368889 hasRelatedWork W2488258410 @default.
- W2927368889 hasRelatedWork W2503791906 @default.
- W2927368889 hasRelatedWork W2586334612 @default.
- W2927368889 hasRelatedWork W2586510063 @default.
- W2927368889 hasRelatedWork W2899084033 @default.
- W2927368889 hasRelatedWork W2908402300 @default.
- W2927368889 isParatext "false" @default.
- W2927368889 isRetracted "false" @default.
- W2927368889 magId "2927368889" @default.
- W2927368889 workType "book-chapter" @default.