Matches in SemOpenAlex for { <https://semopenalex.org/work/W2407779233> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2407779233 endingPage "197" @default.
- W2407779233 startingPage "179" @default.
- W2407779233 abstract "Program specialization has been proposed as a means of improving constraint-based analysis of infinite state reactive systems. In particular, safety properties can be specified by constraint logic programs encoding backward or forward reachability algorithms. These programs are then transformed, before their use for checking safety, by specializing them with respect to the initial states in the case of backward reachability or with respect to the unsafe states in the case of forward reachability. By using the specialized reachability programs, we can considerably increase the number of successful verifications. An important feature of specialization algorithms is the so called polyvariance, that is, the number of specialized variants of the same predicate that are introduced by specialization. Depending on this feature, the specialization time, the size of the specialized program, and the number of successful verifications may vary. We present a specialization framework which is more general than previous proposals and provides control on polyvariance. We demonstrate, through experiments on several infinite state reactive systems, that by a careful choice of the degree of polyvariance we can design specialization-based verification procedures that are both efficient and precise." @default.
- W2407779233 created "2016-06-24" @default.
- W2407779233 creator A5018873219 @default.
- W2407779233 creator A5025420559 @default.
- W2407779233 creator A5028288086 @default.
- W2407779233 creator A5080397323 @default.
- W2407779233 date "2011-01-01" @default.
- W2407779233 modified "2023-09-30" @default.
- W2407779233 title "Controlling Polyvariance for Specialization-based Verification." @default.
- W2407779233 hasPublicationYear "2011" @default.
- W2407779233 type Work @default.
- W2407779233 sameAs 2407779233 @default.
- W2407779233 citedByCount "1" @default.
- W2407779233 countsByYear W24077792332012 @default.
- W2407779233 crossrefType "journal-article" @default.
- W2407779233 hasAuthorship W2407779233A5018873219 @default.
- W2407779233 hasAuthorship W2407779233A5025420559 @default.
- W2407779233 hasAuthorship W2407779233A5028288086 @default.
- W2407779233 hasAuthorship W2407779233A5080397323 @default.
- W2407779233 hasConcept C11413529 @default.
- W2407779233 hasConcept C136643341 @default.
- W2407779233 hasConcept C138885662 @default.
- W2407779233 hasConcept C140146324 @default.
- W2407779233 hasConcept C199360897 @default.
- W2407779233 hasConcept C2524010 @default.
- W2407779233 hasConcept C2776036281 @default.
- W2407779233 hasConcept C2776401178 @default.
- W2407779233 hasConcept C2778744346 @default.
- W2407779233 hasConcept C33923547 @default.
- W2407779233 hasConcept C41008148 @default.
- W2407779233 hasConcept C41895202 @default.
- W2407779233 hasConcept C80444323 @default.
- W2407779233 hasConceptScore W2407779233C11413529 @default.
- W2407779233 hasConceptScore W2407779233C136643341 @default.
- W2407779233 hasConceptScore W2407779233C138885662 @default.
- W2407779233 hasConceptScore W2407779233C140146324 @default.
- W2407779233 hasConceptScore W2407779233C199360897 @default.
- W2407779233 hasConceptScore W2407779233C2524010 @default.
- W2407779233 hasConceptScore W2407779233C2776036281 @default.
- W2407779233 hasConceptScore W2407779233C2776401178 @default.
- W2407779233 hasConceptScore W2407779233C2778744346 @default.
- W2407779233 hasConceptScore W2407779233C33923547 @default.
- W2407779233 hasConceptScore W2407779233C41008148 @default.
- W2407779233 hasConceptScore W2407779233C41895202 @default.
- W2407779233 hasConceptScore W2407779233C80444323 @default.
- W2407779233 hasLocation W24077792331 @default.
- W2407779233 hasOpenAccess W2407779233 @default.
- W2407779233 hasPrimaryLocation W24077792331 @default.
- W2407779233 hasRelatedWork W12807312 @default.
- W2407779233 hasRelatedWork W1484683107 @default.
- W2407779233 hasRelatedWork W1530251652 @default.
- W2407779233 hasRelatedWork W1846838616 @default.
- W2407779233 hasRelatedWork W1975813326 @default.
- W2407779233 hasRelatedWork W2021951417 @default.
- W2407779233 hasRelatedWork W2075981544 @default.
- W2407779233 hasRelatedWork W2097747015 @default.
- W2407779233 hasRelatedWork W2103424315 @default.
- W2407779233 hasRelatedWork W2143961378 @default.
- W2407779233 hasRelatedWork W2154938325 @default.
- W2407779233 hasRelatedWork W2181649107 @default.
- W2407779233 hasRelatedWork W2182361133 @default.
- W2407779233 hasRelatedWork W2502740270 @default.
- W2407779233 hasRelatedWork W2570557253 @default.
- W2407779233 hasRelatedWork W2625553213 @default.
- W2407779233 hasRelatedWork W3104298851 @default.
- W2407779233 hasRelatedWork W3167316958 @default.
- W2407779233 hasRelatedWork W637774 @default.
- W2407779233 hasRelatedWork W67718509 @default.
- W2407779233 isParatext "false" @default.
- W2407779233 isRetracted "false" @default.
- W2407779233 magId "2407779233" @default.
- W2407779233 workType "article" @default.