Matches in SemOpenAlex for { <https://semopenalex.org/work/W102496483> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W102496483 abstract "Thread-modular analysis is an incomplete compositional technique for verifying concurrent systems. The heuristic works rather well when there is limited interaction among system components. In this paper, we develop a refinement algorithm that makes thread-modular model checking complete. Our algorithm refines abstract reachable states by exposing local information through auxiliary variables. The experiments show that our complete thread-modular model checking can outperform other complete compositional reasoning techniques." @default.
- W102496483 created "2016-06-24" @default.
- W102496483 creator A5042735025 @default.
- W102496483 creator A5047329998 @default.
- W102496483 creator A5048657895 @default.
- W102496483 creator A5057055806 @default.
- W102496483 date "2012-01-01" @default.
- W102496483 modified "2023-09-27" @default.
- W102496483 title "Thread-Modular Model Checking with Iterative Refinement" @default.
- W102496483 cites W1487643343 @default.
- W102496483 cites W1515080744 @default.
- W102496483 cites W1536946401 @default.
- W102496483 cites W1561112849 @default.
- W102496483 cites W1562915062 @default.
- W102496483 cites W1590315663 @default.
- W102496483 cites W1593428110 @default.
- W102496483 cites W1600769824 @default.
- W102496483 cites W1605985842 @default.
- W102496483 cites W1965662337 @default.
- W102496483 cites W2038952689 @default.
- W102496483 cites W2086460553 @default.
- W102496483 cites W2090551028 @default.
- W102496483 cites W2132334337 @default.
- W102496483 cites W2169650692 @default.
- W102496483 cites W4250366473 @default.
- W102496483 doi "https://doi.org/10.1007/978-3-642-28891-3_24" @default.
- W102496483 hasPublicationYear "2012" @default.
- W102496483 type Work @default.
- W102496483 sameAs 102496483 @default.
- W102496483 citedByCount "1" @default.
- W102496483 countsByYear W1024964832017 @default.
- W102496483 crossrefType "book-chapter" @default.
- W102496483 hasAuthorship W102496483A5042735025 @default.
- W102496483 hasAuthorship W102496483A5047329998 @default.
- W102496483 hasAuthorship W102496483A5048657895 @default.
- W102496483 hasAuthorship W102496483A5057055806 @default.
- W102496483 hasConcept C101468663 @default.
- W102496483 hasConcept C110251889 @default.
- W102496483 hasConcept C11413529 @default.
- W102496483 hasConcept C138101251 @default.
- W102496483 hasConcept C173608175 @default.
- W102496483 hasConcept C199360897 @default.
- W102496483 hasConcept C41008148 @default.
- W102496483 hasConcept C80444323 @default.
- W102496483 hasConceptScore W102496483C101468663 @default.
- W102496483 hasConceptScore W102496483C110251889 @default.
- W102496483 hasConceptScore W102496483C11413529 @default.
- W102496483 hasConceptScore W102496483C138101251 @default.
- W102496483 hasConceptScore W102496483C173608175 @default.
- W102496483 hasConceptScore W102496483C199360897 @default.
- W102496483 hasConceptScore W102496483C41008148 @default.
- W102496483 hasConceptScore W102496483C80444323 @default.
- W102496483 hasLocation W1024964831 @default.
- W102496483 hasOpenAccess W102496483 @default.
- W102496483 hasPrimaryLocation W1024964831 @default.
- W102496483 hasRelatedWork W1484737241 @default.
- W102496483 hasRelatedWork W1568683624 @default.
- W102496483 hasRelatedWork W1583497532 @default.
- W102496483 hasRelatedWork W1671661949 @default.
- W102496483 hasRelatedWork W1791159949 @default.
- W102496483 hasRelatedWork W1801993675 @default.
- W102496483 hasRelatedWork W1973954352 @default.
- W102496483 hasRelatedWork W2002644257 @default.
- W102496483 hasRelatedWork W2034565311 @default.
- W102496483 hasRelatedWork W2096199323 @default.
- W102496483 hasRelatedWork W2111223667 @default.
- W102496483 hasRelatedWork W2185715623 @default.
- W102496483 hasRelatedWork W2213886569 @default.
- W102496483 hasRelatedWork W2268613590 @default.
- W102496483 hasRelatedWork W2272690707 @default.
- W102496483 hasRelatedWork W2596310084 @default.
- W102496483 hasRelatedWork W3049479974 @default.
- W102496483 hasRelatedWork W3131940921 @default.
- W102496483 hasRelatedWork W98168214 @default.
- W102496483 hasRelatedWork W2097768234 @default.
- W102496483 isParatext "false" @default.
- W102496483 isRetracted "false" @default.
- W102496483 magId "102496483" @default.
- W102496483 workType "book-chapter" @default.