Matches in SemOpenAlex for { <https://semopenalex.org/work/W4323026644> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4323026644 endingPage "532" @default.
- W4323026644 startingPage "514" @default.
- W4323026644 abstract "Saturation is considered the state-of-the-art method for computing fixpoints with decision diagrams. We present a relatively simple decision diagram operation called REACH that also computes fixpoints. In contrast to saturation, it does not require a partitioning of the transition relation. We give sequential algorithms implementing the new operation for both binary and multi-valued decision diagrams, and moreover provide parallel counterparts. We implement these algorithms and experimentally compare their performance against saturation on 692 model checking benchmarks in different languages. The results show that the REACH operation often outperforms saturation, especially on transition relations with low locality. In a comparison between parallelized versions of REACH and saturation we find that REACH obtains comparable speedups up to 16 cores, although falls behind saturation at 64 cores. Finally, in a comparison with the state-of-the-art model checking tool ITS-tools we find that REACH outperforms ITS-tools on 29% of models, suggesting that REACH can be useful as a complementary method in an ensemble tool." @default.
- W4323026644 created "2023-03-04" @default.
- W4323026644 creator A5005249960 @default.
- W4323026644 creator A5018667026 @default.
- W4323026644 creator A5062646838 @default.
- W4323026644 date "2023-01-01" @default.
- W4323026644 modified "2023-09-27" @default.
- W4323026644 title "A Decision Diagram Operation for Reachability" @default.
- W4323026644 cites W125115239 @default.
- W4323026644 cites W1491214620 @default.
- W4323026644 cites W1552086528 @default.
- W4323026644 cites W1554045543 @default.
- W4323026644 cites W1572590947 @default.
- W4323026644 cites W1592840252 @default.
- W4323026644 cites W1595213177 @default.
- W4323026644 cites W1670747209 @default.
- W4323026644 cites W1864649459 @default.
- W4323026644 cites W2046213250 @default.
- W4323026644 cites W2061438988 @default.
- W4323026644 cites W2080267935 @default.
- W4323026644 cites W2111575167 @default.
- W4323026644 cites W2115309705 @default.
- W4323026644 cites W2135729506 @default.
- W4323026644 cites W2141472133 @default.
- W4323026644 cites W2143196976 @default.
- W4323026644 cites W2195169990 @default.
- W4323026644 cites W2227958109 @default.
- W4323026644 cites W233122475 @default.
- W4323026644 cites W2344671925 @default.
- W4323026644 cites W2484209472 @default.
- W4323026644 cites W2534303543 @default.
- W4323026644 cites W2757315224 @default.
- W4323026644 cites W2900639984 @default.
- W4323026644 cites W2911430074 @default.
- W4323026644 cites W2935572284 @default.
- W4323026644 cites W3103954389 @default.
- W4323026644 cites W4323026644 @default.
- W4323026644 doi "https://doi.org/10.1007/978-3-031-27481-7_29" @default.
- W4323026644 hasPublicationYear "2023" @default.
- W4323026644 type Work @default.
- W4323026644 citedByCount "1" @default.
- W4323026644 countsByYear W43230266442023 @default.
- W4323026644 crossrefType "book-chapter" @default.
- W4323026644 hasAuthorship W4323026644A5005249960 @default.
- W4323026644 hasAuthorship W4323026644A5018667026 @default.
- W4323026644 hasAuthorship W4323026644A5062646838 @default.
- W4323026644 hasBestOaLocation W43230266442 @default.
- W4323026644 hasConcept C110251889 @default.
- W4323026644 hasConcept C11413529 @default.
- W4323026644 hasConcept C114614502 @default.
- W4323026644 hasConcept C136643341 @default.
- W4323026644 hasConcept C138885662 @default.
- W4323026644 hasConcept C154945302 @default.
- W4323026644 hasConcept C167822520 @default.
- W4323026644 hasConcept C20837028 @default.
- W4323026644 hasConcept C2779808786 @default.
- W4323026644 hasConcept C3309909 @default.
- W4323026644 hasConcept C33923547 @default.
- W4323026644 hasConcept C41008148 @default.
- W4323026644 hasConcept C41895202 @default.
- W4323026644 hasConcept C80444323 @default.
- W4323026644 hasConcept C84525736 @default.
- W4323026644 hasConcept C9930424 @default.
- W4323026644 hasConceptScore W4323026644C110251889 @default.
- W4323026644 hasConceptScore W4323026644C11413529 @default.
- W4323026644 hasConceptScore W4323026644C114614502 @default.
- W4323026644 hasConceptScore W4323026644C136643341 @default.
- W4323026644 hasConceptScore W4323026644C138885662 @default.
- W4323026644 hasConceptScore W4323026644C154945302 @default.
- W4323026644 hasConceptScore W4323026644C167822520 @default.
- W4323026644 hasConceptScore W4323026644C20837028 @default.
- W4323026644 hasConceptScore W4323026644C2779808786 @default.
- W4323026644 hasConceptScore W4323026644C3309909 @default.
- W4323026644 hasConceptScore W4323026644C33923547 @default.
- W4323026644 hasConceptScore W4323026644C41008148 @default.
- W4323026644 hasConceptScore W4323026644C41895202 @default.
- W4323026644 hasConceptScore W4323026644C80444323 @default.
- W4323026644 hasConceptScore W4323026644C84525736 @default.
- W4323026644 hasConceptScore W4323026644C9930424 @default.
- W4323026644 hasLocation W43230266441 @default.
- W4323026644 hasLocation W43230266442 @default.
- W4323026644 hasOpenAccess W4323026644 @default.
- W4323026644 hasPrimaryLocation W43230266441 @default.
- W4323026644 hasRelatedWork W1560767347 @default.
- W4323026644 hasRelatedWork W1580939090 @default.
- W4323026644 hasRelatedWork W1588952892 @default.
- W4323026644 hasRelatedWork W2151198296 @default.
- W4323026644 hasRelatedWork W2167638616 @default.
- W4323026644 hasRelatedWork W2542904743 @default.
- W4323026644 hasRelatedWork W3212519233 @default.
- W4323026644 hasRelatedWork W4205562957 @default.
- W4323026644 hasRelatedWork W4310925501 @default.
- W4323026644 hasRelatedWork W4323026644 @default.
- W4323026644 isParatext "false" @default.
- W4323026644 isRetracted "false" @default.
- W4323026644 workType "book-chapter" @default.