FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569404555> ?p ?o ?g. }

• W1569404555 endingPage "202" @default.
• W1569404555 startingPage "188" @default.
• W1569404555 abstract "Verification based on abstraction refinement is a successful technique for checking program properties. Conventional abstraction refinement schemes increase precision of the abstraction monotonically, and therefore cannot recover from overly precise refinement decisions. This problem is exacerbated in the context of multi-threaded programs, where keeping track of all control locations in concurrent threads is the inevitably discovered abstraction and is prohibitively expensive. In contrast to the conventional (partition refinement-based) approaches, non-monotonic abstraction refinement schemes rely on re-partitioning and have promising potential for avoiding excess of precision. In this paper, we propose a non-monotonic refinement scheme for the control abstraction (of concurrent programs). Our approach employs a constraint solver to discover re-partitioning at each refinement step. An experimental evaluation of our non-monotonic control abstraction refinement on a collection of multi-threaded verification benchmarks indicates its effectiveness in practice." @default.
• W1569404555 created "2016-06-24" @default.
• W1569404555 creator A5036625175 @default.
• W1569404555 creator A5044737952 @default.
• W1569404555 creator A5069263468 @default.
• W1569404555 date "2010-01-01" @default.
• W1569404555 modified "2023-10-18" @default.
• W1569404555 title "Non-monotonic Refinement of Control Abstraction for Concurrent Programs" @default.
• W1569404555 cites W120333500 @default.
• W1569404555 cites W1480909796 @default.
• W1569404555 cites W1514640333 @default.
• W1569404555 cites W1517320587 @default.
• W1569404555 cites W1533964197 @default.
• W1569404555 cites W1562915062 @default.
• W1569404555 cites W1565898282 @default.
• W1569404555 cites W171295454 @default.
• W1569404555 cites W1779418668 @default.
• W1569404555 cites W1836483134 @default.
• W1569404555 cites W1856060541 @default.
• W1569404555 cites W1974583144 @default.
• W1569404555 cites W2043100293 @default.
• W1569404555 cites W2070908350 @default.
• W1569404555 cites W2082000355 @default.
• W1569404555 cites W2086460553 @default.
• W1569404555 cites W2098698656 @default.
• W1569404555 cites W2101161997 @default.
• W1569404555 cites W2112350720 @default.
• W1569404555 cites W2115969864 @default.
• W1569404555 cites W2155772078 @default.
• W1569404555 cites W2158395308 @default.
• W1569404555 cites W2168496583 @default.
• W1569404555 cites W2294635730 @default.
• W1569404555 cites W2295903414 @default.
• W1569404555 cites W3100198463 @default.
• W1569404555 cites W4212792638 @default.
• W1569404555 cites W4230796557 @default.
• W1569404555 cites W4232668957 @default.
• W1569404555 cites W4242397730 @default.
• W1569404555 doi "https://doi.org/10.1007/978-3-642-15643-4_15" @default.
• W1569404555 hasPublicationYear "2010" @default.
• W1569404555 type Work @default.
• W1569404555 sameAs 1569404555 @default.
• W1569404555 citedByCount "2" @default.
• W1569404555 crossrefType "book-chapter" @default.
• W1569404555 hasAuthorship W1569404555A5036625175 @default.
• W1569404555 hasAuthorship W1569404555A5044737952 @default.
• W1569404555 hasAuthorship W1569404555A5069263468 @default.
• W1569404555 hasConcept C110251889 @default.
• W1569404555 hasConcept C111472728 @default.
• W1569404555 hasConcept C11413529 @default.
• W1569404555 hasConcept C114614502 @default.
• W1569404555 hasConcept C124304363 @default.
• W1569404555 hasConcept C134306372 @default.
• W1569404555 hasConcept C138885662 @default.
• W1569404555 hasConcept C151730666 @default.
• W1569404555 hasConcept C199360897 @default.
• W1569404555 hasConcept C2524010 @default.
• W1569404555 hasConcept C2776036281 @default.
• W1569404555 hasConcept C2779343474 @default.
• W1569404555 hasConcept C2779907942 @default.
• W1569404555 hasConcept C30888246 @default.
• W1569404555 hasConcept C33923547 @default.
• W1569404555 hasConcept C41008148 @default.
• W1569404555 hasConcept C42812 @default.
• W1569404555 hasConcept C72169020 @default.
• W1569404555 hasConcept C80444323 @default.
• W1569404555 hasConcept C86803240 @default.
• W1569404555 hasConceptScore W1569404555C110251889 @default.
• W1569404555 hasConceptScore W1569404555C111472728 @default.
• W1569404555 hasConceptScore W1569404555C11413529 @default.
• W1569404555 hasConceptScore W1569404555C114614502 @default.
• W1569404555 hasConceptScore W1569404555C124304363 @default.
• W1569404555 hasConceptScore W1569404555C134306372 @default.
• W1569404555 hasConceptScore W1569404555C138885662 @default.
• W1569404555 hasConceptScore W1569404555C151730666 @default.
• W1569404555 hasConceptScore W1569404555C199360897 @default.
• W1569404555 hasConceptScore W1569404555C2524010 @default.
• W1569404555 hasConceptScore W1569404555C2776036281 @default.
• W1569404555 hasConceptScore W1569404555C2779343474 @default.
• W1569404555 hasConceptScore W1569404555C2779907942 @default.
• W1569404555 hasConceptScore W1569404555C30888246 @default.
• W1569404555 hasConceptScore W1569404555C33923547 @default.
• W1569404555 hasConceptScore W1569404555C41008148 @default.
• W1569404555 hasConceptScore W1569404555C42812 @default.
• W1569404555 hasConceptScore W1569404555C72169020 @default.
• W1569404555 hasConceptScore W1569404555C80444323 @default.
• W1569404555 hasConceptScore W1569404555C86803240 @default.
• W1569404555 hasLocation W15694045551 @default.
• W1569404555 hasOpenAccess W1569404555 @default.
• W1569404555 hasPrimaryLocation W15694045551 @default.
• W1569404555 hasRelatedWork W1490609548 @default.
• W1569404555 hasRelatedWork W1548505328 @default.
• W1569404555 hasRelatedWork W1589294645 @default.
• W1569404555 hasRelatedWork W2003959877 @default.
• W1569404555 hasRelatedWork W2105941113 @default.
• W1569404555 hasRelatedWork W2134469331 @default.
• W1569404555 hasRelatedWork W2149977550 @default.
• W1569404555 hasRelatedWork W41277334 @default.

• next