FRINK Linked Data Fragments server

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

• W2953899265 abstract "We present GenMC, a model checking algorithm for concurrent programs that is parametric in the choice of memory model and can be used for verifying clients of concurrent libraries. Subject to a few basic conditions about the memory model, our algorithm is sound, complete and optimal, in that it explores each consistent execution of the program according to the model exactly once, and does not explore inconsistent executions or embark on futile exploration paths. We implement GenMC as a tool for verifying C programs. Despite the generality of the algorithm, its performance is comparable to the state-of-art specialized model checkers for specific memory models, and in certain cases exponentially faster thanks to its coarse partitioning of executions." @default.
• W2953899265 created "2019-07-12" @default.
• W2953899265 creator A5023359178 @default.
• W2953899265 creator A5028567877 @default.
• W2953899265 creator A5083721882 @default.
• W2953899265 date "2019-06-08" @default.
• W2953899265 modified "2023-09-24" @default.
• W2953899265 title "Model checking for weakly consistent libraries" @default.
• W2953899265 cites W1525350307 @default.
• W2953899265 cites W1983206712 @default.
• W2953899265 cites W1986463648 @default.
• W2953899265 cites W1988877888 @default.
• W2953899265 cites W1990838770 @default.
• W2953899265 cites W2001738739 @default.
• W2953899265 cites W2008078972 @default.
• W2953899265 cites W2014708731 @default.
• W2953899265 cites W2024875714 @default.
• W2953899265 cites W2036316394 @default.
• W2953899265 cites W2051016152 @default.
• W2953899265 cites W2054391605 @default.
• W2953899265 cites W2054739713 @default.
• W2953899265 cites W2054983537 @default.
• W2953899265 cites W2065675749 @default.
• W2953899265 cites W2068223072 @default.
• W2953899265 cites W2091085450 @default.
• W2953899265 cites W2129538349 @default.
• W2953899265 cites W2166071597 @default.
• W2953899265 cites W2169870841 @default.
• W2953899265 cites W2528919074 @default.
• W2953899265 cites W2534587298 @default.
• W2953899265 cites W2564852534 @default.
• W2953899265 cites W2626631502 @default.
• W2953899265 cites W2734789924 @default.
• W2953899265 cites W2738891045 @default.
• W2953899265 cites W2769194423 @default.
• W2953899265 cites W2778029444 @default.
• W2953899265 cites W2887814217 @default.
• W2953899265 cites W2900112703 @default.
• W2953899265 cites W2907766023 @default.
• W2953899265 cites W4234066571 @default.
• W2953899265 doi "https://doi.org/10.1145/3314221.3314609" @default.
• W2953899265 hasPublicationYear "2019" @default.
• W2953899265 type Work @default.
• W2953899265 sameAs 2953899265 @default.
• W2953899265 citedByCount "56" @default.
• W2953899265 countsByYear W29538992652019 @default.
• W2953899265 countsByYear W29538992652020 @default.
• W2953899265 countsByYear W29538992652021 @default.
• W2953899265 countsByYear W29538992652022 @default.
• W2953899265 countsByYear W29538992652023 @default.
• W2953899265 crossrefType "proceedings-article" @default.
• W2953899265 hasAuthorship W2953899265A5023359178 @default.
• W2953899265 hasAuthorship W2953899265A5028567877 @default.
• W2953899265 hasAuthorship W2953899265A5083721882 @default.
• W2953899265 hasBestOaLocation W29538992652 @default.
• W2953899265 hasConcept C105795698 @default.
• W2953899265 hasConcept C110251889 @default.
• W2953899265 hasConcept C11413529 @default.
• W2953899265 hasConcept C117251300 @default.
• W2953899265 hasConcept C12186640 @default.
• W2953899265 hasConcept C133875982 @default.
• W2953899265 hasConcept C15744967 @default.
• W2953899265 hasConcept C173608175 @default.
• W2953899265 hasConcept C199360897 @default.
• W2953899265 hasConcept C2780767217 @default.
• W2953899265 hasConcept C33923547 @default.
• W2953899265 hasConcept C41008148 @default.
• W2953899265 hasConcept C48103436 @default.
• W2953899265 hasConcept C542102704 @default.
• W2953899265 hasConcept C80444323 @default.
• W2953899265 hasConceptScore W2953899265C105795698 @default.
• W2953899265 hasConceptScore W2953899265C110251889 @default.
• W2953899265 hasConceptScore W2953899265C11413529 @default.
• W2953899265 hasConceptScore W2953899265C117251300 @default.
• W2953899265 hasConceptScore W2953899265C12186640 @default.
• W2953899265 hasConceptScore W2953899265C133875982 @default.
• W2953899265 hasConceptScore W2953899265C15744967 @default.
• W2953899265 hasConceptScore W2953899265C173608175 @default.
• W2953899265 hasConceptScore W2953899265C199360897 @default.
• W2953899265 hasConceptScore W2953899265C2780767217 @default.
• W2953899265 hasConceptScore W2953899265C33923547 @default.
• W2953899265 hasConceptScore W2953899265C41008148 @default.
• W2953899265 hasConceptScore W2953899265C48103436 @default.
• W2953899265 hasConceptScore W2953899265C542102704 @default.
• W2953899265 hasConceptScore W2953899265C80444323 @default.
• W2953899265 hasFunder F4320338352 @default.
• W2953899265 hasLocation W29538992651 @default.
• W2953899265 hasLocation W29538992652 @default.
• W2953899265 hasOpenAccess W2953899265 @default.
• W2953899265 hasPrimaryLocation W29538992651 @default.
• W2953899265 hasRelatedWork W1430872261 @default.
• W2953899265 hasRelatedWork W1719093023 @default.
• W2953899265 hasRelatedWork W1983206712 @default.
• W2953899265 hasRelatedWork W2008078972 @default.
• W2953899265 hasRelatedWork W2024875714 @default.
• W2953899265 hasRelatedWork W2051016152 @default.
• W2953899265 hasRelatedWork W2054739713 @default.
• W2953899265 hasRelatedWork W2065675749 @default.
• W2953899265 hasRelatedWork W2085773946 @default.
• W2953899265 hasRelatedWork W2138074470 @default.

• next