Matches in SemOpenAlex for { <https://semopenalex.org/work/W4249517013> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4249517013 endingPage "105" @default.
- W4249517013 startingPage "93" @default.
- W4249517013 abstract "In this paper we demonstrate the effectiveness of data flow analysis for verifying requirements of communication protocols. Data flow analysis is a static analysis method for increasing confidence in the correctness of software systems by automatically verifying that a given software artifact (e.g., design or code) must behave consistently with a specified requirement. In this case study, we apply the FLAVERS data flow analysis tool to pseudocode designs of the three way handshake connection establishment protocol and of the alternating bit protocol and prove that the behavior of the pseudocode is consistent with protocol behavioral requirement specifications. We show how FLAVERS is a particularly effective because it is computationally inexpensive, requires minimal human interaction, and is a general approach that can be applied incrementally until the desired accuracy is achieved. In addition, we show how assumptions about the environment in which a software system is executed can be incorporated into the analysis, using message losses as an example. We present experimental results and derive some guidelines about the classes of protocol requirement specifications that may be amenable to verification using FLAVERS." @default.
- W4249517013 created "2022-05-12" @default.
- W4249517013 creator A5029665333 @default.
- W4249517013 creator A5051025628 @default.
- W4249517013 creator A5052855534 @default.
- W4249517013 date "1996-10-01" @default.
- W4249517013 modified "2023-10-09" @default.
- W4249517013 title "Verification of communication protocols using data flow analysis" @default.
- W4249517013 cites W1857503509 @default.
- W4249517013 cites W1978358700 @default.
- W4249517013 cites W2005150099 @default.
- W4249517013 cites W2016457827 @default.
- W4249517013 cites W2024748881 @default.
- W4249517013 cites W2032071844 @default.
- W4249517013 cites W2054409309 @default.
- W4249517013 cites W2062764376 @default.
- W4249517013 cites W2072950666 @default.
- W4249517013 cites W2078853139 @default.
- W4249517013 cites W2105180288 @default.
- W4249517013 cites W2117189826 @default.
- W4249517013 cites W2121372686 @default.
- W4249517013 cites W2121954581 @default.
- W4249517013 cites W2129058735 @default.
- W4249517013 cites W2137865376 @default.
- W4249517013 cites W2171955286 @default.
- W4249517013 cites W2987907651 @default.
- W4249517013 cites W4249593990 @default.
- W4249517013 cites W4251311470 @default.
- W4249517013 cites W4253970047 @default.
- W4249517013 doi "https://doi.org/10.1145/250707.239114" @default.
- W4249517013 hasPublicationYear "1996" @default.
- W4249517013 type Work @default.
- W4249517013 citedByCount "2" @default.
- W4249517013 countsByYear W42495170132012 @default.
- W4249517013 crossrefType "journal-article" @default.
- W4249517013 hasAuthorship W4249517013A5029665333 @default.
- W4249517013 hasAuthorship W4249517013A5051025628 @default.
- W4249517013 hasAuthorship W4249517013A5052855534 @default.
- W4249517013 hasConcept C110251889 @default.
- W4249517013 hasConcept C111919701 @default.
- W4249517013 hasConcept C120314980 @default.
- W4249517013 hasConcept C12269588 @default.
- W4249517013 hasConcept C142724271 @default.
- W4249517013 hasConcept C199360897 @default.
- W4249517013 hasConcept C204787440 @default.
- W4249517013 hasConcept C2777904410 @default.
- W4249517013 hasConcept C2778000800 @default.
- W4249517013 hasConcept C2779010991 @default.
- W4249517013 hasConcept C2779960059 @default.
- W4249517013 hasConcept C2780385302 @default.
- W4249517013 hasConcept C31972630 @default.
- W4249517013 hasConcept C41008148 @default.
- W4249517013 hasConcept C489000 @default.
- W4249517013 hasConcept C55439883 @default.
- W4249517013 hasConcept C71924100 @default.
- W4249517013 hasConcept C77088390 @default.
- W4249517013 hasConcept C88468194 @default.
- W4249517013 hasConcept C97686452 @default.
- W4249517013 hasConceptScore W4249517013C110251889 @default.
- W4249517013 hasConceptScore W4249517013C111919701 @default.
- W4249517013 hasConceptScore W4249517013C120314980 @default.
- W4249517013 hasConceptScore W4249517013C12269588 @default.
- W4249517013 hasConceptScore W4249517013C142724271 @default.
- W4249517013 hasConceptScore W4249517013C199360897 @default.
- W4249517013 hasConceptScore W4249517013C204787440 @default.
- W4249517013 hasConceptScore W4249517013C2777904410 @default.
- W4249517013 hasConceptScore W4249517013C2778000800 @default.
- W4249517013 hasConceptScore W4249517013C2779010991 @default.
- W4249517013 hasConceptScore W4249517013C2779960059 @default.
- W4249517013 hasConceptScore W4249517013C2780385302 @default.
- W4249517013 hasConceptScore W4249517013C31972630 @default.
- W4249517013 hasConceptScore W4249517013C41008148 @default.
- W4249517013 hasConceptScore W4249517013C489000 @default.
- W4249517013 hasConceptScore W4249517013C55439883 @default.
- W4249517013 hasConceptScore W4249517013C71924100 @default.
- W4249517013 hasConceptScore W4249517013C77088390 @default.
- W4249517013 hasConceptScore W4249517013C88468194 @default.
- W4249517013 hasConceptScore W4249517013C97686452 @default.
- W4249517013 hasIssue "6" @default.
- W4249517013 hasLocation W42495170131 @default.
- W4249517013 hasOpenAccess W4249517013 @default.
- W4249517013 hasPrimaryLocation W42495170131 @default.
- W4249517013 hasRelatedWork W1551967076 @default.
- W4249517013 hasRelatedWork W2022689150 @default.
- W4249517013 hasRelatedWork W2053380998 @default.
- W4249517013 hasRelatedWork W2151163382 @default.
- W4249517013 hasRelatedWork W2527311635 @default.
- W4249517013 hasRelatedWork W2545238856 @default.
- W4249517013 hasRelatedWork W2782743876 @default.
- W4249517013 hasRelatedWork W2930019028 @default.
- W4249517013 hasRelatedWork W316163056 @default.
- W4249517013 hasRelatedWork W59945861 @default.
- W4249517013 hasVolume "21" @default.
- W4249517013 isParatext "false" @default.
- W4249517013 isRetracted "false" @default.
- W4249517013 workType "article" @default.