Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570173655> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1570173655 endingPage "200" @default.
- W1570173655 startingPage "182" @default.
- W1570173655 abstract "Current research in software model checking explores new techniques to handle the storage of visited states (usually called the heap). One approach consists in saving only parts or representations of the states in the heap. This paper presents a new technique to implement sound abstract matching of states. This kind of matching produces a reduction in the number of states and traces explored. With the aim of obtaining a useful result, it is necessary to establish some correctness conditions on the matching scheme. In this paper, we use static analysis to automatically construct an abstract matching function which depends on the program and the property to be verified. The soundness of the static analysis guarantees the soundness of verification. This paper describes the overall technique applied to Spin, the correctness issues and some examples which show its efficiency." @default.
- W1570173655 created "2016-06-24" @default.
- W1570173655 creator A5020092514 @default.
- W1570173655 creator A5038310179 @default.
- W1570173655 creator A5070926992 @default.
- W1570173655 date "2006-01-01" @default.
- W1570173655 modified "2023-10-09" @default.
- W1570173655 title "Abstract Matching for Software Model Checking" @default.
- W1570173655 cites W1553894716 @default.
- W1570173655 cites W1569674057 @default.
- W1570173655 cites W1581520638 @default.
- W1570173655 cites W1750494731 @default.
- W1570173655 cites W1974940962 @default.
- W1570173655 cites W1985493680 @default.
- W1570173655 cites W2001840915 @default.
- W1570173655 cites W2040060046 @default.
- W1570173655 cites W2135274583 @default.
- W1570173655 doi "https://doi.org/10.1007/11691617_11" @default.
- W1570173655 hasPublicationYear "2006" @default.
- W1570173655 type Work @default.
- W1570173655 sameAs 1570173655 @default.
- W1570173655 citedByCount "9" @default.
- W1570173655 countsByYear W15701736552015 @default.
- W1570173655 countsByYear W15701736552023 @default.
- W1570173655 crossrefType "book-chapter" @default.
- W1570173655 hasAuthorship W1570173655A5020092514 @default.
- W1570173655 hasAuthorship W1570173655A5038310179 @default.
- W1570173655 hasAuthorship W1570173655A5070926992 @default.
- W1570173655 hasConcept C105795698 @default.
- W1570173655 hasConcept C110251889 @default.
- W1570173655 hasConcept C111472728 @default.
- W1570173655 hasConcept C11413529 @default.
- W1570173655 hasConcept C134757568 @default.
- W1570173655 hasConcept C138885662 @default.
- W1570173655 hasConcept C165064840 @default.
- W1570173655 hasConcept C189950617 @default.
- W1570173655 hasConcept C199360897 @default.
- W1570173655 hasConcept C2777904410 @default.
- W1570173655 hasConcept C2780801425 @default.
- W1570173655 hasConcept C33923547 @default.
- W1570173655 hasConcept C39920170 @default.
- W1570173655 hasConcept C41008148 @default.
- W1570173655 hasConcept C55439883 @default.
- W1570173655 hasConcept C80444323 @default.
- W1570173655 hasConceptScore W1570173655C105795698 @default.
- W1570173655 hasConceptScore W1570173655C110251889 @default.
- W1570173655 hasConceptScore W1570173655C111472728 @default.
- W1570173655 hasConceptScore W1570173655C11413529 @default.
- W1570173655 hasConceptScore W1570173655C134757568 @default.
- W1570173655 hasConceptScore W1570173655C138885662 @default.
- W1570173655 hasConceptScore W1570173655C165064840 @default.
- W1570173655 hasConceptScore W1570173655C189950617 @default.
- W1570173655 hasConceptScore W1570173655C199360897 @default.
- W1570173655 hasConceptScore W1570173655C2777904410 @default.
- W1570173655 hasConceptScore W1570173655C2780801425 @default.
- W1570173655 hasConceptScore W1570173655C33923547 @default.
- W1570173655 hasConceptScore W1570173655C39920170 @default.
- W1570173655 hasConceptScore W1570173655C41008148 @default.
- W1570173655 hasConceptScore W1570173655C55439883 @default.
- W1570173655 hasConceptScore W1570173655C80444323 @default.
- W1570173655 hasLocation W15701736551 @default.
- W1570173655 hasOpenAccess W1570173655 @default.
- W1570173655 hasPrimaryLocation W15701736551 @default.
- W1570173655 hasRelatedWork W1511249877 @default.
- W1570173655 hasRelatedWork W1578828174 @default.
- W1570173655 hasRelatedWork W1969483203 @default.
- W1570173655 hasRelatedWork W2000943029 @default.
- W1570173655 hasRelatedWork W2140496290 @default.
- W1570173655 hasRelatedWork W2466303427 @default.
- W1570173655 hasRelatedWork W2949331520 @default.
- W1570173655 hasRelatedWork W2950376466 @default.
- W1570173655 hasRelatedWork W4226437312 @default.
- W1570173655 hasRelatedWork W4302559785 @default.
- W1570173655 isParatext "false" @default.
- W1570173655 isRetracted "false" @default.
- W1570173655 magId "1570173655" @default.
- W1570173655 workType "book-chapter" @default.