Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569234295> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1569234295 endingPage "232" @default.
- W1569234295 startingPage "218" @default.
- W1569234295 abstract "Thread-modular verification is a promising approach for the verification of concurrent programs. Its high efficiency is achieved by abstracting the interaction between threads. The resulting polynomial complexity (in the number of threads) has its price: many interesting concurrent programs cannot be handled due to the imprecision of the abstraction. We propose a new abstraction algorithm for thread-modular verification that offers both high degree precision and polynomial complexity. Our algorithm is based on a new abstraction domain that combines Cartesian abstraction with exception sets, which allow one to handle particular thread interactions precisely. Our experimental results demonstrate the practical applicability of the algorithm." @default.
- W1569234295 created "2016-06-24" @default.
- W1569234295 creator A5044737952 @default.
- W1569234295 creator A5059238440 @default.
- W1569234295 creator A5062411838 @default.
- W1569234295 date "2007-08-21" @default.
- W1569234295 modified "2023-09-26" @default.
- W1569234295 title "Precise Thread-Modular Verification" @default.
- W1569234295 cites W1493367105 @default.
- W1569234295 cites W1554289869 @default.
- W1569234295 cites W1562915062 @default.
- W1569234295 cites W1605985842 @default.
- W1569234295 cites W1977541831 @default.
- W1569234295 cites W2014764321 @default.
- W1569234295 cites W2043100293 @default.
- W1569234295 cites W2081431431 @default.
- W1569234295 cites W2088139180 @default.
- W1569234295 cites W2128453996 @default.
- W1569234295 cites W2153037257 @default.
- W1569234295 cites W2169870841 @default.
- W1569234295 cites W4247239640 @default.
- W1569234295 doi "https://doi.org/10.1007/978-3-540-74061-2_14" @default.
- W1569234295 hasPublicationYear "2007" @default.
- W1569234295 type Work @default.
- W1569234295 sameAs 1569234295 @default.
- W1569234295 citedByCount "14" @default.
- W1569234295 countsByYear W15692342952012 @default.
- W1569234295 countsByYear W15692342952013 @default.
- W1569234295 countsByYear W15692342952015 @default.
- W1569234295 countsByYear W15692342952017 @default.
- W1569234295 countsByYear W15692342952018 @default.
- W1569234295 countsByYear W15692342952019 @default.
- W1569234295 countsByYear W15692342952020 @default.
- W1569234295 countsByYear W15692342952023 @default.
- W1569234295 crossrefType "book-chapter" @default.
- W1569234295 hasAuthorship W1569234295A5044737952 @default.
- W1569234295 hasAuthorship W1569234295A5059238440 @default.
- W1569234295 hasAuthorship W1569234295A5062411838 @default.
- W1569234295 hasBestOaLocation W15692342952 @default.
- W1569234295 hasConcept C101468663 @default.
- W1569234295 hasConcept C111472728 @default.
- W1569234295 hasConcept C11413529 @default.
- W1569234295 hasConcept C124304363 @default.
- W1569234295 hasConcept C138101251 @default.
- W1569234295 hasConcept C138885662 @default.
- W1569234295 hasConcept C173608175 @default.
- W1569234295 hasConcept C199360897 @default.
- W1569234295 hasConcept C41008148 @default.
- W1569234295 hasConcept C80444323 @default.
- W1569234295 hasConceptScore W1569234295C101468663 @default.
- W1569234295 hasConceptScore W1569234295C111472728 @default.
- W1569234295 hasConceptScore W1569234295C11413529 @default.
- W1569234295 hasConceptScore W1569234295C124304363 @default.
- W1569234295 hasConceptScore W1569234295C138101251 @default.
- W1569234295 hasConceptScore W1569234295C138885662 @default.
- W1569234295 hasConceptScore W1569234295C173608175 @default.
- W1569234295 hasConceptScore W1569234295C199360897 @default.
- W1569234295 hasConceptScore W1569234295C41008148 @default.
- W1569234295 hasConceptScore W1569234295C80444323 @default.
- W1569234295 hasLocation W15692342951 @default.
- W1569234295 hasLocation W15692342952 @default.
- W1569234295 hasOpenAccess W1569234295 @default.
- W1569234295 hasPrimaryLocation W15692342951 @default.
- W1569234295 hasRelatedWork W1579918296 @default.
- W1569234295 hasRelatedWork W2133693067 @default.
- W1569234295 hasRelatedWork W2166247150 @default.
- W1569234295 hasRelatedWork W2170268965 @default.
- W1569234295 hasRelatedWork W2893160992 @default.
- W1569234295 hasRelatedWork W3033052750 @default.
- W1569234295 hasRelatedWork W3160136729 @default.
- W1569234295 hasRelatedWork W3216885170 @default.
- W1569234295 hasRelatedWork W4210381016 @default.
- W1569234295 hasRelatedWork W4243252198 @default.
- W1569234295 isParatext "false" @default.
- W1569234295 isRetracted "false" @default.
- W1569234295 magId "1569234295" @default.
- W1569234295 workType "book-chapter" @default.