Matches in SemOpenAlex for { <https://semopenalex.org/work/W1530609294> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1530609294 endingPage "336" @default.
- W1530609294 startingPage "322" @default.
- W1530609294 abstract "We present an automata-based approach for symbolic verification of systems with unbounded string and integer variables. Particularly, we are interested in automatically discovering the relationships among the string and integer variables. The lengths of the strings in a regular language form a semilinear set. We present a novel construction for length automata that accept the unary or binary representations of the lengths of the strings in a regular language. These length automata can be integrated with an arithmetic automaton that recognizes the valuations of the integer variables at a program point. We propose a static analysis technique that uses these automata in a forward fixpoint computation with widening and is able to catch relationships among the lengths of the string variables and the values of the integer variables. This composite string and integer analysis enables us to verify properties that cannot be verified using string analysis or size analysis alone." @default.
- W1530609294 created "2016-06-24" @default.
- W1530609294 creator A5022580520 @default.
- W1530609294 creator A5039991493 @default.
- W1530609294 creator A5074809336 @default.
- W1530609294 date "2009-01-01" @default.
- W1530609294 modified "2023-10-16" @default.
- W1530609294 title "Symbolic String Verification: Combining String Analysis and Size Analysis" @default.
- W1530609294 cites W1561331110 @default.
- W1530609294 cites W1987289444 @default.
- W1530609294 cites W1998285060 @default.
- W1530609294 cites W2015362443 @default.
- W1530609294 cites W2096161423 @default.
- W1530609294 cites W2096854577 @default.
- W1530609294 cites W2103660000 @default.
- W1530609294 cites W2111487235 @default.
- W1530609294 cites W2119029078 @default.
- W1530609294 cites W2142504844 @default.
- W1530609294 cites W2149932816 @default.
- W1530609294 cites W4232808412 @default.
- W1530609294 doi "https://doi.org/10.1007/978-3-642-00768-2_28" @default.
- W1530609294 hasPublicationYear "2009" @default.
- W1530609294 type Work @default.
- W1530609294 sameAs 1530609294 @default.
- W1530609294 citedByCount "51" @default.
- W1530609294 countsByYear W15306092942012 @default.
- W1530609294 countsByYear W15306092942013 @default.
- W1530609294 countsByYear W15306092942014 @default.
- W1530609294 countsByYear W15306092942015 @default.
- W1530609294 countsByYear W15306092942016 @default.
- W1530609294 countsByYear W15306092942017 @default.
- W1530609294 countsByYear W15306092942018 @default.
- W1530609294 countsByYear W15306092942020 @default.
- W1530609294 crossrefType "book-chapter" @default.
- W1530609294 hasAuthorship W1530609294A5022580520 @default.
- W1530609294 hasAuthorship W1530609294A5039991493 @default.
- W1530609294 hasAuthorship W1530609294A5074809336 @default.
- W1530609294 hasBestOaLocation W15306092941 @default.
- W1530609294 hasConcept C112505250 @default.
- W1530609294 hasConcept C11413529 @default.
- W1530609294 hasConcept C118615104 @default.
- W1530609294 hasConcept C157486923 @default.
- W1530609294 hasConcept C199360897 @default.
- W1530609294 hasConcept C33923547 @default.
- W1530609294 hasConcept C37914503 @default.
- W1530609294 hasConcept C41008148 @default.
- W1530609294 hasConcept C52370388 @default.
- W1530609294 hasConcept C78023250 @default.
- W1530609294 hasConcept C80444323 @default.
- W1530609294 hasConcept C97137487 @default.
- W1530609294 hasConceptScore W1530609294C112505250 @default.
- W1530609294 hasConceptScore W1530609294C11413529 @default.
- W1530609294 hasConceptScore W1530609294C118615104 @default.
- W1530609294 hasConceptScore W1530609294C157486923 @default.
- W1530609294 hasConceptScore W1530609294C199360897 @default.
- W1530609294 hasConceptScore W1530609294C33923547 @default.
- W1530609294 hasConceptScore W1530609294C37914503 @default.
- W1530609294 hasConceptScore W1530609294C41008148 @default.
- W1530609294 hasConceptScore W1530609294C52370388 @default.
- W1530609294 hasConceptScore W1530609294C78023250 @default.
- W1530609294 hasConceptScore W1530609294C80444323 @default.
- W1530609294 hasConceptScore W1530609294C97137487 @default.
- W1530609294 hasLocation W15306092941 @default.
- W1530609294 hasLocation W15306092942 @default.
- W1530609294 hasOpenAccess W1530609294 @default.
- W1530609294 hasPrimaryLocation W15306092941 @default.
- W1530609294 hasRelatedWork W104024513 @default.
- W1530609294 hasRelatedWork W1607287758 @default.
- W1530609294 hasRelatedWork W1971747251 @default.
- W1530609294 hasRelatedWork W1981823970 @default.
- W1530609294 hasRelatedWork W2064594808 @default.
- W1530609294 hasRelatedWork W2407531803 @default.
- W1530609294 hasRelatedWork W3131352913 @default.
- W1530609294 hasRelatedWork W4285270201 @default.
- W1530609294 hasRelatedWork W4308713541 @default.
- W1530609294 hasRelatedWork W5917611 @default.
- W1530609294 isParatext "false" @default.
- W1530609294 isRetracted "false" @default.
- W1530609294 magId "1530609294" @default.
- W1530609294 workType "book-chapter" @default.