Matches in SemOpenAlex for { <https://semopenalex.org/work/W283573144> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W283573144 endingPage "613" @default.
- W283573144 startingPage "608" @default.
- W283573144 abstract "Proofs written in algebraic specification languages are called proof scores. The proof score approach to design verification is attractive because it provides a flexible way to prove that designs for systems satisfy properties. Thus far, however, the approach has focused on safety properties. In this paper, we describe a way to verify that designs for systems satisfy liveness properties with the approach. A mutual exclusion protocol using a queue is used as an example. We describe the design verification and explain how it is verified that the protocol satisfies the lockout freedom property." @default.
- W283573144 created "2016-06-24" @default.
- W283573144 creator A5030173635 @default.
- W283573144 creator A5040225123 @default.
- W283573144 date "2005-01-01" @default.
- W283573144 modified "2023-09-23" @default.
- W283573144 title "Proof Score Approach to Verification of Liveness Properties." @default.
- W283573144 hasPublicationYear "2005" @default.
- W283573144 type Work @default.
- W283573144 sameAs 283573144 @default.
- W283573144 citedByCount "3" @default.
- W283573144 crossrefType "proceedings-article" @default.
- W283573144 hasAuthorship W283573144A5030173635 @default.
- W283573144 hasAuthorship W283573144A5040225123 @default.
- W283573144 hasConcept C108710211 @default.
- W283573144 hasConcept C110251889 @default.
- W283573144 hasConcept C111472728 @default.
- W283573144 hasConcept C111498074 @default.
- W283573144 hasConcept C138885662 @default.
- W283573144 hasConcept C142724271 @default.
- W283573144 hasConcept C15569618 @default.
- W283573144 hasConcept C189950617 @default.
- W283573144 hasConcept C199360897 @default.
- W283573144 hasConcept C204787440 @default.
- W283573144 hasConcept C2524010 @default.
- W283573144 hasConcept C2780385302 @default.
- W283573144 hasConcept C33923547 @default.
- W283573144 hasConcept C41008148 @default.
- W283573144 hasConcept C56348326 @default.
- W283573144 hasConcept C71924100 @default.
- W283573144 hasConcept C80444323 @default.
- W283573144 hasConceptScore W283573144C108710211 @default.
- W283573144 hasConceptScore W283573144C110251889 @default.
- W283573144 hasConceptScore W283573144C111472728 @default.
- W283573144 hasConceptScore W283573144C111498074 @default.
- W283573144 hasConceptScore W283573144C138885662 @default.
- W283573144 hasConceptScore W283573144C142724271 @default.
- W283573144 hasConceptScore W283573144C15569618 @default.
- W283573144 hasConceptScore W283573144C189950617 @default.
- W283573144 hasConceptScore W283573144C199360897 @default.
- W283573144 hasConceptScore W283573144C204787440 @default.
- W283573144 hasConceptScore W283573144C2524010 @default.
- W283573144 hasConceptScore W283573144C2780385302 @default.
- W283573144 hasConceptScore W283573144C33923547 @default.
- W283573144 hasConceptScore W283573144C41008148 @default.
- W283573144 hasConceptScore W283573144C56348326 @default.
- W283573144 hasConceptScore W283573144C71924100 @default.
- W283573144 hasConceptScore W283573144C80444323 @default.
- W283573144 hasOpenAccess W283573144 @default.
- W283573144 hasRelatedWork W136121193 @default.
- W283573144 hasRelatedWork W1499408584 @default.
- W283573144 hasRelatedWork W1606684007 @default.
- W283573144 hasRelatedWork W1608072156 @default.
- W283573144 hasRelatedWork W1965662337 @default.
- W283573144 hasRelatedWork W1998296117 @default.
- W283573144 hasRelatedWork W2047110290 @default.
- W283573144 hasRelatedWork W2105640876 @default.
- W283573144 hasRelatedWork W2286742647 @default.
- W283573144 hasRelatedWork W2294312911 @default.
- W283573144 hasRelatedWork W2464096065 @default.
- W283573144 hasRelatedWork W27871822 @default.
- W283573144 hasRelatedWork W2897039247 @default.
- W283573144 hasRelatedWork W29114720 @default.
- W283573144 hasRelatedWork W2950225832 @default.
- W283573144 hasRelatedWork W3020741357 @default.
- W283573144 hasRelatedWork W3122573064 @default.
- W283573144 hasRelatedWork W91508025 @default.
- W283573144 hasRelatedWork W2181724188 @default.
- W283573144 isParatext "false" @default.
- W283573144 isRetracted "false" @default.
- W283573144 magId "283573144" @default.
- W283573144 workType "article" @default.