Matches in SemOpenAlex for { <https://semopenalex.org/work/W1501897439> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1501897439 endingPage "96" @default.
- W1501897439 startingPage "87" @default.
- W1501897439 abstract "This paper proposes a method to factorise the verification of temporal properties for multi-threaded programs over groups of different threads. Essentially, the method boils down to showing that there exists a group of threads that establishes the property of interest, while the remaining threads do not affect it. We fine-tune the method by identifying for each property particular conditions under which the preservation is necessary. As a specification language we use the so-called specification patterns developed as part of the Bandera project at Kansas State University. For each specification pattern we propose a decomposition rule. We have shown the soundness of each rule using the pattern mappings as defined for LTL. The proofs have been formalised using the theorem prover Isabelle." @default.
- W1501897439 created "2016-06-24" @default.
- W1501897439 creator A5045181048 @default.
- W1501897439 creator A5052536960 @default.
- W1501897439 date "2005-01-01" @default.
- W1501897439 modified "2023-09-23" @default.
- W1501897439 title "Factorising temporal specifications" @default.
- W1501897439 cites W1480600454 @default.
- W1501897439 cites W1546606300 @default.
- W1501897439 cites W1550487903 @default.
- W1501897439 cites W1570482200 @default.
- W1501897439 cites W1590185363 @default.
- W1501897439 cites W1592311453 @default.
- W1501897439 cites W1595657196 @default.
- W1501897439 cites W168248273 @default.
- W1501897439 cites W1964830323 @default.
- W1501897439 cites W1984936841 @default.
- W1501897439 cites W2080593426 @default.
- W1501897439 cites W2082766667 @default.
- W1501897439 cites W2089892886 @default.
- W1501897439 cites W2093774352 @default.
- W1501897439 cites W2106192381 @default.
- W1501897439 cites W2137467159 @default.
- W1501897439 cites W2157832495 @default.
- W1501897439 cites W2166985644 @default.
- W1501897439 cites W2167849549 @default.
- W1501897439 cites W2169735850 @default.
- W1501897439 cites W2396555304 @default.
- W1501897439 cites W40261375 @default.
- W1501897439 cites W2611434897 @default.
- W1501897439 hasPublicationYear "2005" @default.
- W1501897439 type Work @default.
- W1501897439 sameAs 1501897439 @default.
- W1501897439 citedByCount "0" @default.
- W1501897439 crossrefType "proceedings-article" @default.
- W1501897439 hasAuthorship W1501897439A5045181048 @default.
- W1501897439 hasAuthorship W1501897439A5052536960 @default.
- W1501897439 hasConcept C108710211 @default.
- W1501897439 hasConcept C111472728 @default.
- W1501897439 hasConcept C138885662 @default.
- W1501897439 hasConcept C159718280 @default.
- W1501897439 hasConcept C189950617 @default.
- W1501897439 hasConcept C199360897 @default.
- W1501897439 hasConcept C201677973 @default.
- W1501897439 hasConcept C206880738 @default.
- W1501897439 hasConcept C2524010 @default.
- W1501897439 hasConcept C33923547 @default.
- W1501897439 hasConcept C39920170 @default.
- W1501897439 hasConcept C41008148 @default.
- W1501897439 hasConcept C80444323 @default.
- W1501897439 hasConceptScore W1501897439C108710211 @default.
- W1501897439 hasConceptScore W1501897439C111472728 @default.
- W1501897439 hasConceptScore W1501897439C138885662 @default.
- W1501897439 hasConceptScore W1501897439C159718280 @default.
- W1501897439 hasConceptScore W1501897439C189950617 @default.
- W1501897439 hasConceptScore W1501897439C199360897 @default.
- W1501897439 hasConceptScore W1501897439C201677973 @default.
- W1501897439 hasConceptScore W1501897439C206880738 @default.
- W1501897439 hasConceptScore W1501897439C2524010 @default.
- W1501897439 hasConceptScore W1501897439C33923547 @default.
- W1501897439 hasConceptScore W1501897439C39920170 @default.
- W1501897439 hasConceptScore W1501897439C41008148 @default.
- W1501897439 hasConceptScore W1501897439C80444323 @default.
- W1501897439 hasOpenAccess W1501897439 @default.
- W1501897439 hasRelatedWork W1499503385 @default.
- W1501897439 hasRelatedWork W1499990527 @default.
- W1501897439 hasRelatedWork W1502298666 @default.
- W1501897439 hasRelatedWork W1573218854 @default.
- W1501897439 hasRelatedWork W1603135579 @default.
- W1501897439 hasRelatedWork W1848615987 @default.
- W1501897439 hasRelatedWork W1970603830 @default.
- W1501897439 hasRelatedWork W2104491151 @default.
- W1501897439 hasRelatedWork W2108471047 @default.
- W1501897439 hasRelatedWork W2283260145 @default.
- W1501897439 hasRelatedWork W2298117924 @default.
- W1501897439 hasRelatedWork W2338673411 @default.
- W1501897439 hasRelatedWork W2408063079 @default.
- W1501897439 hasRelatedWork W2516911575 @default.
- W1501897439 hasRelatedWork W2563328880 @default.
- W1501897439 hasRelatedWork W2610385005 @default.
- W1501897439 hasRelatedWork W2795569536 @default.
- W1501897439 hasRelatedWork W2900349237 @default.
- W1501897439 hasRelatedWork W3201118699 @default.
- W1501897439 hasRelatedWork W767381456 @default.
- W1501897439 isParatext "false" @default.
- W1501897439 isRetracted "false" @default.
- W1501897439 magId "1501897439" @default.
- W1501897439 workType "article" @default.