Matches in SemOpenAlex for { <https://semopenalex.org/work/W2540703162> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2540703162 abstract "Using the formal Communication Finite State Machine (CFSM) model, a communication protocol consists of several communicating entities which can be represented in some CFSMs. Global state reachability analysis is one of the most straightforward ways to automatically detect logical errors in a communication protocol specified in the CFSM model. Global state reachability analysis generates all of the reachable global states and checks the correctness one by one. Even though communication protocols are error free, global state reachability analysis still needs to be executed completely. We propose a new verification method which is called the backward protocol verification method, to detect logical errors. By analyzing the properties of deadlock error, unspecified reception error, and channel overflow error, some candidate erroneous global states are generated. Then, each candidate global state is checked whether there is a path, i.e., a global state sequence connects to the original initial global state. If there is a path, then the candidate global state is really an erroneous global state and the communication protocol does have some logical errors. Otherwise, if there is no candidate global state or none of the candidate global state has a path, then the communication protocol is error free. >" @default.
- W2540703162 created "2016-11-04" @default.
- W2540703162 creator A5023916855 @default.
- W2540703162 creator A5036946812 @default.
- W2540703162 date "2002-12-30" @default.
- W2540703162 modified "2023-09-26" @default.
- W2540703162 title "A backward protocol verification method" @default.
- W2540703162 cites W163928954 @default.
- W2540703162 cites W1979799094 @default.
- W2540703162 cites W1987377075 @default.
- W2540703162 cites W1988930599 @default.
- W2540703162 cites W2025970201 @default.
- W2540703162 cites W2039853888 @default.
- W2540703162 cites W2050278853 @default.
- W2540703162 cites W2067481788 @default.
- W2540703162 cites W2077977516 @default.
- W2540703162 cites W2078765865 @default.
- W2540703162 cites W2133153642 @default.
- W2540703162 cites W2312379129 @default.
- W2540703162 doi "https://doi.org/10.1109/tencon.1993.320039" @default.
- W2540703162 hasPublicationYear "2002" @default.
- W2540703162 type Work @default.
- W2540703162 sameAs 2540703162 @default.
- W2540703162 citedByCount "2" @default.
- W2540703162 countsByYear W25407031622015 @default.
- W2540703162 countsByYear W25407031622016 @default.
- W2540703162 crossrefType "proceedings-article" @default.
- W2540703162 hasAuthorship W2540703162A5023916855 @default.
- W2540703162 hasAuthorship W2540703162A5036946812 @default.
- W2540703162 hasConcept C110251889 @default.
- W2540703162 hasConcept C111498074 @default.
- W2540703162 hasConcept C11413529 @default.
- W2540703162 hasConcept C120314980 @default.
- W2540703162 hasConcept C12269588 @default.
- W2540703162 hasConcept C136643341 @default.
- W2540703162 hasConcept C142724271 @default.
- W2540703162 hasConcept C159023740 @default.
- W2540703162 hasConcept C167822520 @default.
- W2540703162 hasConcept C204787440 @default.
- W2540703162 hasConcept C2777735758 @default.
- W2540703162 hasConcept C2780385302 @default.
- W2540703162 hasConcept C31258907 @default.
- W2540703162 hasConcept C41008148 @default.
- W2540703162 hasConcept C48103436 @default.
- W2540703162 hasConcept C55439883 @default.
- W2540703162 hasConcept C71924100 @default.
- W2540703162 hasConcept C80444323 @default.
- W2540703162 hasConceptScore W2540703162C110251889 @default.
- W2540703162 hasConceptScore W2540703162C111498074 @default.
- W2540703162 hasConceptScore W2540703162C11413529 @default.
- W2540703162 hasConceptScore W2540703162C120314980 @default.
- W2540703162 hasConceptScore W2540703162C12269588 @default.
- W2540703162 hasConceptScore W2540703162C136643341 @default.
- W2540703162 hasConceptScore W2540703162C142724271 @default.
- W2540703162 hasConceptScore W2540703162C159023740 @default.
- W2540703162 hasConceptScore W2540703162C167822520 @default.
- W2540703162 hasConceptScore W2540703162C204787440 @default.
- W2540703162 hasConceptScore W2540703162C2777735758 @default.
- W2540703162 hasConceptScore W2540703162C2780385302 @default.
- W2540703162 hasConceptScore W2540703162C31258907 @default.
- W2540703162 hasConceptScore W2540703162C41008148 @default.
- W2540703162 hasConceptScore W2540703162C48103436 @default.
- W2540703162 hasConceptScore W2540703162C55439883 @default.
- W2540703162 hasConceptScore W2540703162C71924100 @default.
- W2540703162 hasConceptScore W2540703162C80444323 @default.
- W2540703162 hasLocation W25407031621 @default.
- W2540703162 hasOpenAccess W2540703162 @default.
- W2540703162 hasPrimaryLocation W25407031621 @default.
- W2540703162 hasRelatedWork W1484303459 @default.
- W2540703162 hasRelatedWork W1572432266 @default.
- W2540703162 hasRelatedWork W1996812979 @default.
- W2540703162 hasRelatedWork W2022003997 @default.
- W2540703162 hasRelatedWork W2051890437 @default.
- W2540703162 hasRelatedWork W2060850316 @default.
- W2540703162 hasRelatedWork W2062774982 @default.
- W2540703162 hasRelatedWork W2067844680 @default.
- W2540703162 hasRelatedWork W2105920837 @default.
- W2540703162 hasRelatedWork W2126058650 @default.
- W2540703162 hasRelatedWork W2155162307 @default.
- W2540703162 hasRelatedWork W2161040744 @default.
- W2540703162 hasRelatedWork W2173952623 @default.
- W2540703162 hasRelatedWork W2296115762 @default.
- W2540703162 hasRelatedWork W2328391215 @default.
- W2540703162 hasRelatedWork W2382099974 @default.
- W2540703162 hasRelatedWork W2535491964 @default.
- W2540703162 hasRelatedWork W3148537620 @default.
- W2540703162 hasRelatedWork W3162169891 @default.
- W2540703162 hasRelatedWork W2852984219 @default.
- W2540703162 isParatext "false" @default.
- W2540703162 isRetracted "false" @default.
- W2540703162 magId "2540703162" @default.
- W2540703162 workType "article" @default.