Matches in SemOpenAlex for { <https://semopenalex.org/work/W2959059456> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2959059456 endingPage "397" @default.
- W2959059456 startingPage "387" @default.
- W2959059456 abstract "C remains central to our infrastructure, making verification of C code an essential and much-researched topic, but the semantics of C is remarkably complex, and important aspects of it are still unsettled, leaving programmers and verification tool builders on shaky ground. This paper describes a tool, Cerberus-BMC, that for the first time provides a principled reference semantics that simultaneously supports (1) a choice of concurrency memory model (including substantial fragments of the C11, RC11, and Linux kernel memory models), (2) a modern memory object model, and (3) a well-validated thread-local semantics for a large fragment of the language. The tool should be useful for C programmers, compiler writers, verification tool builders, and members of the C/C++ standards committees." @default.
- W2959059456 created "2019-07-23" @default.
- W2959059456 creator A5013809751 @default.
- W2959059456 creator A5027766872 @default.
- W2959059456 creator A5028354383 @default.
- W2959059456 creator A5051334148 @default.
- W2959059456 creator A5083405043 @default.
- W2959059456 date "2019-01-01" @default.
- W2959059456 modified "2023-10-14" @default.
- W2959059456 title "Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C" @default.
- W2959059456 cites W1480909796 @default.
- W2959059456 cites W1602156367 @default.
- W2959059456 cites W1719093023 @default.
- W2959059456 cites W1945229733 @default.
- W2959059456 cites W1969064066 @default.
- W2959059456 cites W1983206712 @default.
- W2959059456 cites W2054391605 @default.
- W2959059456 cites W2129538349 @default.
- W2959059456 cites W2414762192 @default.
- W2959059456 cites W2499469246 @default.
- W2959059456 cites W2533070090 @default.
- W2959059456 cites W2553522901 @default.
- W2959059456 cites W2570232277 @default.
- W2959059456 cites W2625764229 @default.
- W2959059456 cites W2626631502 @default.
- W2959059456 cites W2738891045 @default.
- W2959059456 cites W2778029444 @default.
- W2959059456 cites W2789383461 @default.
- W2959059456 cites W2888321432 @default.
- W2959059456 cites W2899856510 @default.
- W2959059456 cites W2997323435 @default.
- W2959059456 cites W327452528 @default.
- W2959059456 cites W4229558017 @default.
- W2959059456 cites W4234066571 @default.
- W2959059456 cites W4255006224 @default.
- W2959059456 cites W867008410 @default.
- W2959059456 doi "https://doi.org/10.1007/978-3-030-25540-4_22" @default.
- W2959059456 hasPublicationYear "2019" @default.
- W2959059456 type Work @default.
- W2959059456 sameAs 2959059456 @default.
- W2959059456 citedByCount "6" @default.
- W2959059456 countsByYear W29590594562020 @default.
- W2959059456 countsByYear W29590594562021 @default.
- W2959059456 countsByYear W29590594562022 @default.
- W2959059456 countsByYear W29590594562023 @default.
- W2959059456 crossrefType "book-chapter" @default.
- W2959059456 hasAuthorship W2959059456A5013809751 @default.
- W2959059456 hasAuthorship W2959059456A5027766872 @default.
- W2959059456 hasAuthorship W2959059456A5028354383 @default.
- W2959059456 hasAuthorship W2959059456A5051334148 @default.
- W2959059456 hasAuthorship W2959059456A5083405043 @default.
- W2959059456 hasBestOaLocation W29590594561 @default.
- W2959059456 hasConcept C138101251 @default.
- W2959059456 hasConcept C169590947 @default.
- W2959059456 hasConcept C184337299 @default.
- W2959059456 hasConcept C193702766 @default.
- W2959059456 hasConcept C199360897 @default.
- W2959059456 hasConcept C2776235265 @default.
- W2959059456 hasConcept C41008148 @default.
- W2959059456 hasConceptScore W2959059456C138101251 @default.
- W2959059456 hasConceptScore W2959059456C169590947 @default.
- W2959059456 hasConceptScore W2959059456C184337299 @default.
- W2959059456 hasConceptScore W2959059456C193702766 @default.
- W2959059456 hasConceptScore W2959059456C199360897 @default.
- W2959059456 hasConceptScore W2959059456C2776235265 @default.
- W2959059456 hasConceptScore W2959059456C41008148 @default.
- W2959059456 hasLocation W29590594561 @default.
- W2959059456 hasLocation W29590594562 @default.
- W2959059456 hasOpenAccess W2959059456 @default.
- W2959059456 hasPrimaryLocation W29590594561 @default.
- W2959059456 hasRelatedWork W1515791128 @default.
- W2959059456 hasRelatedWork W1899405913 @default.
- W2959059456 hasRelatedWork W2023785576 @default.
- W2959059456 hasRelatedWork W2047793074 @default.
- W2959059456 hasRelatedWork W2592137786 @default.
- W2959059456 hasRelatedWork W2727195813 @default.
- W2959059456 hasRelatedWork W2743924600 @default.
- W2959059456 hasRelatedWork W4232891356 @default.
- W2959059456 hasRelatedWork W4238882300 @default.
- W2959059456 hasRelatedWork W4256041698 @default.
- W2959059456 isParatext "false" @default.
- W2959059456 isRetracted "false" @default.
- W2959059456 magId "2959059456" @default.
- W2959059456 workType "book-chapter" @default.