Matches in SemOpenAlex for { <https://semopenalex.org/work/W190046896> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W190046896 endingPage "634" @default.
- W190046896 startingPage "628" @default.
- W190046896 abstract "We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized based on a combination of theorem proving and model checking to guarantee the correctness of these refinements. We argue that the framework of predicate diagrams is flexible enough to carry out a non-trivial verification task, that it provides a natural interface between automatic and interactive verification technology, and that it allows to present the correctness argument in an accessible manner." @default.
- W190046896 created "2016-06-24" @default.
- W190046896 creator A5007751056 @default.
- W190046896 creator A5018322893 @default.
- W190046896 creator A5067310583 @default.
- W190046896 date "2001-01-01" @default.
- W190046896 modified "2023-09-27" @default.
- W190046896 title "Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams" @default.
- W190046896 cites W14050270 @default.
- W190046896 cites W1544099942 @default.
- W190046896 cites W1586167239 @default.
- W190046896 cites W1815358061 @default.
- W190046896 cites W2015688007 @default.
- W190046896 cites W2055164757 @default.
- W190046896 cites W2111132249 @default.
- W190046896 hasPublicationYear "2001" @default.
- W190046896 type Work @default.
- W190046896 sameAs 190046896 @default.
- W190046896 citedByCount "3" @default.
- W190046896 countsByYear W1900468962012 @default.
- W190046896 crossrefType "journal-article" @default.
- W190046896 hasAuthorship W190046896A5007751056 @default.
- W190046896 hasAuthorship W190046896A5018322893 @default.
- W190046896 hasAuthorship W190046896A5067310583 @default.
- W190046896 hasConcept C108710211 @default.
- W190046896 hasConcept C110251889 @default.
- W190046896 hasConcept C111498074 @default.
- W190046896 hasConcept C11413529 @default.
- W190046896 hasConcept C13766981 @default.
- W190046896 hasConcept C140146324 @default.
- W190046896 hasConcept C199360897 @default.
- W190046896 hasConcept C203265346 @default.
- W190046896 hasConcept C206880738 @default.
- W190046896 hasConcept C2524010 @default.
- W190046896 hasConcept C2779907942 @default.
- W190046896 hasConcept C33923547 @default.
- W190046896 hasConcept C41008148 @default.
- W190046896 hasConcept C55439883 @default.
- W190046896 hasConcept C75606506 @default.
- W190046896 hasConcept C80444323 @default.
- W190046896 hasConceptScore W190046896C108710211 @default.
- W190046896 hasConceptScore W190046896C110251889 @default.
- W190046896 hasConceptScore W190046896C111498074 @default.
- W190046896 hasConceptScore W190046896C11413529 @default.
- W190046896 hasConceptScore W190046896C13766981 @default.
- W190046896 hasConceptScore W190046896C140146324 @default.
- W190046896 hasConceptScore W190046896C199360897 @default.
- W190046896 hasConceptScore W190046896C203265346 @default.
- W190046896 hasConceptScore W190046896C206880738 @default.
- W190046896 hasConceptScore W190046896C2524010 @default.
- W190046896 hasConceptScore W190046896C2779907942 @default.
- W190046896 hasConceptScore W190046896C33923547 @default.
- W190046896 hasConceptScore W190046896C41008148 @default.
- W190046896 hasConceptScore W190046896C55439883 @default.
- W190046896 hasConceptScore W190046896C75606506 @default.
- W190046896 hasConceptScore W190046896C80444323 @default.
- W190046896 hasLocation W1900468961 @default.
- W190046896 hasOpenAccess W190046896 @default.
- W190046896 hasPrimaryLocation W1900468961 @default.
- W190046896 hasRelatedWork W115044809 @default.
- W190046896 hasRelatedWork W146493892 @default.
- W190046896 hasRelatedWork W1480403872 @default.
- W190046896 hasRelatedWork W1559274767 @default.
- W190046896 hasRelatedWork W1590394971 @default.
- W190046896 hasRelatedWork W181604221 @default.
- W190046896 hasRelatedWork W1904726244 @default.
- W190046896 hasRelatedWork W1958676488 @default.
- W190046896 hasRelatedWork W2005344510 @default.
- W190046896 hasRelatedWork W2022900796 @default.
- W190046896 hasRelatedWork W2112221572 @default.
- W190046896 hasRelatedWork W2115503997 @default.
- W190046896 hasRelatedWork W2158781448 @default.
- W190046896 hasRelatedWork W2964247756 @default.
- W190046896 hasRelatedWork W3022572449 @default.
- W190046896 hasRelatedWork W62603474 @default.
- W190046896 hasRelatedWork W76841653 @default.
- W190046896 hasRelatedWork W91679638 @default.
- W190046896 hasRelatedWork W2972950208 @default.
- W190046896 hasRelatedWork W3059035833 @default.
- W190046896 isParatext "false" @default.
- W190046896 isRetracted "false" @default.
- W190046896 magId "190046896" @default.
- W190046896 workType "article" @default.