Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040941777> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2040941777 endingPage "1370" @default.
- W2040941777 startingPage "1363" @default.
- W2040941777 abstract "Abstract A basic problem in software model checking is the choice of a model for software. Boolean program is the most popular representation and is amenable to model checking. We show how to apply counter abstraction to real world concurrent Boolean programs to eliminate state redundancy. We present a model checking algorithm for thread-state reachability analysis of concurrent Boolean programs, constructing Karp-Miller coverability tree directly on a Boolean program. And finally evaluate the performance of the approach using a substantial set of Boolean program benchmarks." @default.
- W2040941777 created "2016-06-24" @default.
- W2040941777 creator A5008814069 @default.
- W2040941777 creator A5012329541 @default.
- W2040941777 creator A5039734214 @default.
- W2040941777 date "2012-01-01" @default.
- W2040941777 modified "2023-09-27" @default.
- W2040941777 title "Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction" @default.
- W2040941777 cites W1489391022 @default.
- W2040941777 cites W1549714654 @default.
- W2040941777 cites W1562679818 @default.
- W2040941777 cites W1596041124 @default.
- W2040941777 cites W1601517679 @default.
- W2040941777 cites W1691700263 @default.
- W2040941777 cites W1984957636 @default.
- W2040941777 cites W2082000355 @default.
- W2040941777 cites W2106001218 @default.
- W2040941777 cites W2107405469 @default.
- W2040941777 cites W2132546292 @default.
- W2040941777 cites W2133055577 @default.
- W2040941777 doi "https://doi.org/10.1016/j.procs.2012.04.150" @default.
- W2040941777 hasPublicationYear "2012" @default.
- W2040941777 type Work @default.
- W2040941777 sameAs 2040941777 @default.
- W2040941777 citedByCount "0" @default.
- W2040941777 crossrefType "journal-article" @default.
- W2040941777 hasAuthorship W2040941777A5008814069 @default.
- W2040941777 hasAuthorship W2040941777A5012329541 @default.
- W2040941777 hasAuthorship W2040941777A5039734214 @default.
- W2040941777 hasBestOaLocation W20409417771 @default.
- W2040941777 hasConcept C110251889 @default.
- W2040941777 hasConcept C111472728 @default.
- W2040941777 hasConcept C124304363 @default.
- W2040941777 hasConcept C136643341 @default.
- W2040941777 hasConcept C138885662 @default.
- W2040941777 hasConcept C199360897 @default.
- W2040941777 hasConcept C23123167 @default.
- W2040941777 hasConcept C41008148 @default.
- W2040941777 hasConcept C65620979 @default.
- W2040941777 hasConcept C80444323 @default.
- W2040941777 hasConcept C98183937 @default.
- W2040941777 hasConceptScore W2040941777C110251889 @default.
- W2040941777 hasConceptScore W2040941777C111472728 @default.
- W2040941777 hasConceptScore W2040941777C124304363 @default.
- W2040941777 hasConceptScore W2040941777C136643341 @default.
- W2040941777 hasConceptScore W2040941777C138885662 @default.
- W2040941777 hasConceptScore W2040941777C199360897 @default.
- W2040941777 hasConceptScore W2040941777C23123167 @default.
- W2040941777 hasConceptScore W2040941777C41008148 @default.
- W2040941777 hasConceptScore W2040941777C65620979 @default.
- W2040941777 hasConceptScore W2040941777C80444323 @default.
- W2040941777 hasConceptScore W2040941777C98183937 @default.
- W2040941777 hasLocation W20409417771 @default.
- W2040941777 hasOpenAccess W2040941777 @default.
- W2040941777 hasPrimaryLocation W20409417771 @default.
- W2040941777 hasRelatedWork W1033764083 @default.
- W2040941777 hasRelatedWork W1529696074 @default.
- W2040941777 hasRelatedWork W1540741945 @default.
- W2040941777 hasRelatedWork W1576596005 @default.
- W2040941777 hasRelatedWork W1987745246 @default.
- W2040941777 hasRelatedWork W2127574686 @default.
- W2040941777 hasRelatedWork W2138652276 @default.
- W2040941777 hasRelatedWork W2144517099 @default.
- W2040941777 hasRelatedWork W3212519233 @default.
- W2040941777 hasRelatedWork W4247376413 @default.
- W2040941777 hasVolume "9" @default.
- W2040941777 isParatext "false" @default.
- W2040941777 isRetracted "false" @default.
- W2040941777 magId "2040941777" @default.
- W2040941777 workType "article" @default.