Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899402023> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2899402023 abstract "We present a stateless model checking algorithm for verifying concurrent programs running under RC11, a repaired version of the C/C++11 weak memory model without dependency cycles. Unlike previous approaches, which enumerate thread interleavings up to some partial order reduction improvements, our approach works directly on execution graphs and (in the absence of RMW instructions) avoids redundant exploration by construction. We have implemented a model checker, called RCMC, based on this approach and apply it to a number of challenging concurrent programs. Our experiments confirm that our tool leads to much faster verification times than other model checking tools." @default.
- W2899402023 created "2018-11-09" @default.
- W2899402023 creator A5004737121 @default.
- W2899402023 creator A5009640372 @default.
- W2899402023 creator A5023359178 @default.
- W2899402023 creator A5028567877 @default.
- W2899402023 date "2018-01-07" @default.
- W2899402023 modified "2023-09-23" @default.
- W2899402023 title "Effective Stateless Model Checking for C/C++ Concurrency" @default.
- W2899402023 hasPublicationYear "2018" @default.
- W2899402023 type Work @default.
- W2899402023 sameAs 2899402023 @default.
- W2899402023 citedByCount "2" @default.
- W2899402023 countsByYear W28994020232017 @default.
- W2899402023 countsByYear W28994020232020 @default.
- W2899402023 crossrefType "proceedings-article" @default.
- W2899402023 hasAuthorship W2899402023A5004737121 @default.
- W2899402023 hasAuthorship W2899402023A5009640372 @default.
- W2899402023 hasAuthorship W2899402023A5023359178 @default.
- W2899402023 hasAuthorship W2899402023A5028567877 @default.
- W2899402023 hasConcept C103613024 @default.
- W2899402023 hasConcept C110251889 @default.
- W2899402023 hasConcept C120314980 @default.
- W2899402023 hasConcept C138101251 @default.
- W2899402023 hasConcept C154945302 @default.
- W2899402023 hasConcept C173608175 @default.
- W2899402023 hasConcept C193702766 @default.
- W2899402023 hasConcept C19768560 @default.
- W2899402023 hasConcept C199360897 @default.
- W2899402023 hasConcept C203222032 @default.
- W2899402023 hasConcept C41008148 @default.
- W2899402023 hasConcept C48103436 @default.
- W2899402023 hasConcept C80444323 @default.
- W2899402023 hasConcept C94633896 @default.
- W2899402023 hasConceptScore W2899402023C103613024 @default.
- W2899402023 hasConceptScore W2899402023C110251889 @default.
- W2899402023 hasConceptScore W2899402023C120314980 @default.
- W2899402023 hasConceptScore W2899402023C138101251 @default.
- W2899402023 hasConceptScore W2899402023C154945302 @default.
- W2899402023 hasConceptScore W2899402023C173608175 @default.
- W2899402023 hasConceptScore W2899402023C193702766 @default.
- W2899402023 hasConceptScore W2899402023C19768560 @default.
- W2899402023 hasConceptScore W2899402023C199360897 @default.
- W2899402023 hasConceptScore W2899402023C203222032 @default.
- W2899402023 hasConceptScore W2899402023C41008148 @default.
- W2899402023 hasConceptScore W2899402023C48103436 @default.
- W2899402023 hasConceptScore W2899402023C80444323 @default.
- W2899402023 hasConceptScore W2899402023C94633896 @default.
- W2899402023 hasLocation W28994020231 @default.
- W2899402023 hasOpenAccess W2899402023 @default.
- W2899402023 hasPrimaryLocation W28994020231 @default.
- W2899402023 hasRelatedWork W1602156367 @default.
- W2899402023 hasRelatedWork W1719093023 @default.
- W2899402023 hasRelatedWork W1893845610 @default.
- W2899402023 hasRelatedWork W1945229733 @default.
- W2899402023 hasRelatedWork W2014708731 @default.
- W2899402023 hasRelatedWork W2054739713 @default.
- W2899402023 hasRelatedWork W2138074470 @default.
- W2899402023 hasRelatedWork W2168397157 @default.
- W2899402023 hasRelatedWork W2169870841 @default.
- W2899402023 hasRelatedWork W2293319505 @default.
- W2899402023 hasRelatedWork W2294707073 @default.
- W2899402023 hasRelatedWork W2347106652 @default.
- W2899402023 hasRelatedWork W2353662026 @default.
- W2899402023 hasRelatedWork W2564852534 @default.
- W2899402023 hasRelatedWork W2596443718 @default.
- W2899402023 hasRelatedWork W2626631502 @default.
- W2899402023 hasRelatedWork W2727429054 @default.
- W2899402023 hasRelatedWork W2738891045 @default.
- W2899402023 hasRelatedWork W2789383461 @default.
- W2899402023 hasRelatedWork W2898839952 @default.
- W2899402023 isParatext "false" @default.
- W2899402023 isRetracted "false" @default.
- W2899402023 magId "2899402023" @default.
- W2899402023 workType "article" @default.