Matches in SemOpenAlex for { <https://semopenalex.org/work/W44679832> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W44679832 abstract "Industry is rapidly embracing distributed systems. Although there are many advantages to distribution, such systems are certainly more difficult to understand and thus more vulnerable to errors. Unfortunately, insufficient thought is being given to how to ensure the reliability of such systems. Whereas dynamic testing approaches provide increased confidence in the reliability of sequential systems, for distributed systems even the repeatability of a given test execution result cannot be counted upon. Alternative validation approaches, such as formal verification and static analysis, are usually complicated to use and often intractable. In this talk we describe a static analysis tool, called FLAVERS, that addresses these limitations and offers a promising approach for validating distributed systems.. FLAVERS was designed to be used by typical developers on real distributed software to prove important user-defined properties about the behavior of such systems. Industrial developers have been successful in applying FLAVERS to a diverse set of projects. But these successes also indicated hurdles that remain before FLAVERS, or similar techniques, can be expected to see wide acceptance. These hurdles, and our approaches for overcoming them, will be described in this talk." @default.
- W44679832 created "2016-06-24" @default.
- W44679832 creator A5029665333 @default.
- W44679832 creator A5052855534 @default.
- W44679832 date "1998-03-01" @default.
- W44679832 modified "2023-09-24" @default.
- W44679832 title "Verifying Properties of Distributed System: Prospects for Practicality" @default.
- W44679832 cites W1495744068 @default.
- W44679832 cites W1563242841 @default.
- W44679832 cites W1767780837 @default.
- W44679832 cites W1968552123 @default.
- W44679832 cites W1984936841 @default.
- W44679832 cites W1986926875 @default.
- W44679832 cites W1987540836 @default.
- W44679832 cites W1995284925 @default.
- W44679832 cites W1995736448 @default.
- W44679832 cites W2024748881 @default.
- W44679832 cites W2039549168 @default.
- W44679832 cites W2040368451 @default.
- W44679832 cites W2050707981 @default.
- W44679832 cites W2061438988 @default.
- W44679832 cites W2072950666 @default.
- W44679832 cites W2078853139 @default.
- W44679832 cites W2105180288 @default.
- W44679832 cites W2107978495 @default.
- W44679832 cites W2122875187 @default.
- W44679832 hasPublicationYear "1998" @default.
- W44679832 type Work @default.
- W44679832 sameAs 44679832 @default.
- W44679832 citedByCount "0" @default.
- W44679832 crossrefType "journal-article" @default.
- W44679832 hasAuthorship W44679832A5029665333 @default.
- W44679832 hasAuthorship W44679832A5052855534 @default.
- W44679832 hasConcept C112930515 @default.
- W44679832 hasConcept C115903868 @default.
- W44679832 hasConcept C120314980 @default.
- W44679832 hasConcept C121332964 @default.
- W44679832 hasConcept C163258240 @default.
- W44679832 hasConcept C177264268 @default.
- W44679832 hasConcept C199360897 @default.
- W44679832 hasConcept C2777904410 @default.
- W44679832 hasConcept C41008148 @default.
- W44679832 hasConcept C43214815 @default.
- W44679832 hasConcept C62520636 @default.
- W44679832 hasConcept C71924100 @default.
- W44679832 hasConceptScore W44679832C112930515 @default.
- W44679832 hasConceptScore W44679832C115903868 @default.
- W44679832 hasConceptScore W44679832C120314980 @default.
- W44679832 hasConceptScore W44679832C121332964 @default.
- W44679832 hasConceptScore W44679832C163258240 @default.
- W44679832 hasConceptScore W44679832C177264268 @default.
- W44679832 hasConceptScore W44679832C199360897 @default.
- W44679832 hasConceptScore W44679832C2777904410 @default.
- W44679832 hasConceptScore W44679832C41008148 @default.
- W44679832 hasConceptScore W44679832C43214815 @default.
- W44679832 hasConceptScore W44679832C62520636 @default.
- W44679832 hasConceptScore W44679832C71924100 @default.
- W44679832 hasLocation W446798321 @default.
- W44679832 hasOpenAccess W44679832 @default.
- W44679832 hasPrimaryLocation W446798321 @default.
- W44679832 hasRelatedWork W1674984253 @default.
- W44679832 hasRelatedWork W2095371841 @default.
- W44679832 hasRelatedWork W2105581513 @default.
- W44679832 hasRelatedWork W2111634973 @default.
- W44679832 hasRelatedWork W2125263329 @default.
- W44679832 hasRelatedWork W2132828641 @default.
- W44679832 hasRelatedWork W2148899196 @default.
- W44679832 hasRelatedWork W2160083957 @default.
- W44679832 hasRelatedWork W2172445460 @default.
- W44679832 hasRelatedWork W2317840053 @default.
- W44679832 hasRelatedWork W2489605515 @default.
- W44679832 hasRelatedWork W2548565967 @default.
- W44679832 hasRelatedWork W2552633577 @default.
- W44679832 hasRelatedWork W29554740 @default.
- W44679832 hasRelatedWork W3009437882 @default.
- W44679832 hasRelatedWork W3010683210 @default.
- W44679832 hasRelatedWork W574593283 @default.
- W44679832 hasRelatedWork W628090853 @default.
- W44679832 hasRelatedWork W2182140235 @default.
- W44679832 hasRelatedWork W3119973432 @default.
- W44679832 isParatext "false" @default.
- W44679832 isRetracted "false" @default.
- W44679832 magId "44679832" @default.
- W44679832 workType "article" @default.