Matches in SemOpenAlex for { <https://semopenalex.org/work/W101497376> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W101497376 abstract "Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the environment. We cast stability analysis as a model checking problem and show how this may be of use in interactive and automatic verification." @default.
- W101497376 created "2016-06-24" @default.
- W101497376 creator A5023790081 @default.
- W101497376 creator A5034062698 @default.
- W101497376 date "2008-01-01" @default.
- W101497376 modified "2023-09-27" @default.
- W101497376 title "Model Checking for Stability Analysis in Rely-Guarantee Proofs." @default.
- W101497376 cites W1489391022 @default.
- W101497376 cites W1496710542 @default.
- W101497376 cites W1497571013 @default.
- W101497376 cites W1508811155 @default.
- W101497376 cites W1547100201 @default.
- W101497376 cites W1549035077 @default.
- W101497376 cites W1605985842 @default.
- W101497376 cites W1819989006 @default.
- W101497376 cites W1965662337 @default.
- W101497376 cites W1981393723 @default.
- W101497376 cites W2108408848 @default.
- W101497376 cites W2111706174 @default.
- W101497376 cites W2124945255 @default.
- W101497376 cites W2139609292 @default.
- W101497376 cites W2340735175 @default.
- W101497376 cites W2508779702 @default.
- W101497376 cites W2913459036 @default.
- W101497376 cites W80370608 @default.
- W101497376 cites W219793899 @default.
- W101497376 hasPublicationYear "2008" @default.
- W101497376 type Work @default.
- W101497376 sameAs 101497376 @default.
- W101497376 citedByCount "0" @default.
- W101497376 crossrefType "journal-article" @default.
- W101497376 hasAuthorship W101497376A5023790081 @default.
- W101497376 hasAuthorship W101497376A5034062698 @default.
- W101497376 hasConcept C101468663 @default.
- W101497376 hasConcept C108710211 @default.
- W101497376 hasConcept C110251889 @default.
- W101497376 hasConcept C111498074 @default.
- W101497376 hasConcept C112972136 @default.
- W101497376 hasConcept C119857082 @default.
- W101497376 hasConcept C199360897 @default.
- W101497376 hasConcept C203265346 @default.
- W101497376 hasConcept C2524010 @default.
- W101497376 hasConcept C33923547 @default.
- W101497376 hasConcept C41008148 @default.
- W101497376 hasConcept C80444323 @default.
- W101497376 hasConceptScore W101497376C101468663 @default.
- W101497376 hasConceptScore W101497376C108710211 @default.
- W101497376 hasConceptScore W101497376C110251889 @default.
- W101497376 hasConceptScore W101497376C111498074 @default.
- W101497376 hasConceptScore W101497376C112972136 @default.
- W101497376 hasConceptScore W101497376C119857082 @default.
- W101497376 hasConceptScore W101497376C199360897 @default.
- W101497376 hasConceptScore W101497376C203265346 @default.
- W101497376 hasConceptScore W101497376C2524010 @default.
- W101497376 hasConceptScore W101497376C33923547 @default.
- W101497376 hasConceptScore W101497376C41008148 @default.
- W101497376 hasConceptScore W101497376C80444323 @default.
- W101497376 hasLocation W1014973761 @default.
- W101497376 hasOpenAccess W101497376 @default.
- W101497376 hasPrimaryLocation W1014973761 @default.
- W101497376 hasRelatedWork W120353538 @default.
- W101497376 hasRelatedWork W1492683468 @default.
- W101497376 hasRelatedWork W1499518299 @default.
- W101497376 hasRelatedWork W1518902272 @default.
- W101497376 hasRelatedWork W1541174442 @default.
- W101497376 hasRelatedWork W1542369348 @default.
- W101497376 hasRelatedWork W1558745442 @default.
- W101497376 hasRelatedWork W1563202346 @default.
- W101497376 hasRelatedWork W1582717179 @default.
- W101497376 hasRelatedWork W2014602577 @default.
- W101497376 hasRelatedWork W2038013294 @default.
- W101497376 hasRelatedWork W2126362976 @default.
- W101497376 hasRelatedWork W2154642390 @default.
- W101497376 hasRelatedWork W2296151277 @default.
- W101497376 hasRelatedWork W2909396580 @default.
- W101497376 hasRelatedWork W3177059862 @default.
- W101497376 hasRelatedWork W60982031 @default.
- W101497376 hasRelatedWork W94249443 @default.
- W101497376 hasRelatedWork W1245344834 @default.
- W101497376 hasRelatedWork W191664233 @default.
- W101497376 isParatext "false" @default.
- W101497376 isRetracted "false" @default.
- W101497376 magId "101497376" @default.
- W101497376 workType "article" @default.