Matches in SemOpenAlex for { <https://semopenalex.org/work/W2036957068> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2036957068 endingPage "31" @default.
- W2036957068 startingPage "17" @default.
- W2036957068 abstract "This paper presents an algorithmic procedure for checking logical correctness of communication protocols and discusses its application to the Q.931 Integrated Services Digital Network (ISDN) network layer protocol. A protocol is specified as a collection of communicating finite-state machines (FSMs). The procedure described here consists of two steps. In the first step, the FSMs in the protocol are composed into a global FSM using the incremental composition and reduction (ICR) method. This method minimizes the state explosion problem by reducing the number of states in the global FSM by approximately one to two orders of magnitude while maintaining its observational equivalence. The second step checks whether the behavior of the service FSM, an FSM that models the services expected from the protocol, is a subset of the global FSM's behavior. A software tool, called APROVE (A Protocol Verifier), implements this procedure. We present the formal specification of Q.931 as a collection of 14 communicating FSMs. The results of its verification using APROVE are also reported. Several cases of incompleteness in the English language specification of Q.931 were detected in this exercise." @default.
- W2036957068 created "2016-06-24" @default.
- W2036957068 creator A5053235043 @default.
- W2036957068 creator A5074768788 @default.
- W2036957068 creator A5060658112 @default.
- W2036957068 date "1990-01-02" @default.
- W2036957068 modified "2023-10-16" @default.
- W2036957068 title "Algorithmic Verification of ISDN Network Layer Protocol" @default.
- W2036957068 cites W2039853888 @default.
- W2036957068 cites W2088184419 @default.
- W2036957068 cites W2100580381 @default.
- W2036957068 cites W2110425399 @default.
- W2036957068 cites W2165373889 @default.
- W2036957068 cites W2169384717 @default.
- W2036957068 cites W3144368627 @default.
- W2036957068 doi "https://doi.org/10.1002/j.1538-7305.1990.tb00100.x" @default.
- W2036957068 hasPublicationYear "1990" @default.
- W2036957068 type Work @default.
- W2036957068 sameAs 2036957068 @default.
- W2036957068 citedByCount "4" @default.
- W2036957068 crossrefType "journal-article" @default.
- W2036957068 hasAuthorship W2036957068A5053235043 @default.
- W2036957068 hasAuthorship W2036957068A5060658112 @default.
- W2036957068 hasAuthorship W2036957068A5074768788 @default.
- W2036957068 hasConcept C110251889 @default.
- W2036957068 hasConcept C111335779 @default.
- W2036957068 hasConcept C111498074 @default.
- W2036957068 hasConcept C11413529 @default.
- W2036957068 hasConcept C118615104 @default.
- W2036957068 hasConcept C120314980 @default.
- W2036957068 hasConcept C12269588 @default.
- W2036957068 hasConcept C142724271 @default.
- W2036957068 hasConcept C167822520 @default.
- W2036957068 hasConcept C204787440 @default.
- W2036957068 hasConcept C2524010 @default.
- W2036957068 hasConcept C2777721189 @default.
- W2036957068 hasConcept C2780069185 @default.
- W2036957068 hasConcept C2780385302 @default.
- W2036957068 hasConcept C31258907 @default.
- W2036957068 hasConcept C33923547 @default.
- W2036957068 hasConcept C41008148 @default.
- W2036957068 hasConcept C48103436 @default.
- W2036957068 hasConcept C536894130 @default.
- W2036957068 hasConcept C55439883 @default.
- W2036957068 hasConcept C71924100 @default.
- W2036957068 hasConcept C80444323 @default.
- W2036957068 hasConceptScore W2036957068C110251889 @default.
- W2036957068 hasConceptScore W2036957068C111335779 @default.
- W2036957068 hasConceptScore W2036957068C111498074 @default.
- W2036957068 hasConceptScore W2036957068C11413529 @default.
- W2036957068 hasConceptScore W2036957068C118615104 @default.
- W2036957068 hasConceptScore W2036957068C120314980 @default.
- W2036957068 hasConceptScore W2036957068C12269588 @default.
- W2036957068 hasConceptScore W2036957068C142724271 @default.
- W2036957068 hasConceptScore W2036957068C167822520 @default.
- W2036957068 hasConceptScore W2036957068C204787440 @default.
- W2036957068 hasConceptScore W2036957068C2524010 @default.
- W2036957068 hasConceptScore W2036957068C2777721189 @default.
- W2036957068 hasConceptScore W2036957068C2780069185 @default.
- W2036957068 hasConceptScore W2036957068C2780385302 @default.
- W2036957068 hasConceptScore W2036957068C31258907 @default.
- W2036957068 hasConceptScore W2036957068C33923547 @default.
- W2036957068 hasConceptScore W2036957068C41008148 @default.
- W2036957068 hasConceptScore W2036957068C48103436 @default.
- W2036957068 hasConceptScore W2036957068C536894130 @default.
- W2036957068 hasConceptScore W2036957068C55439883 @default.
- W2036957068 hasConceptScore W2036957068C71924100 @default.
- W2036957068 hasConceptScore W2036957068C80444323 @default.
- W2036957068 hasIssue "1" @default.
- W2036957068 hasLocation W20369570681 @default.
- W2036957068 hasOpenAccess W2036957068 @default.
- W2036957068 hasPrimaryLocation W20369570681 @default.
- W2036957068 hasRelatedWork W1979040956 @default.
- W2036957068 hasRelatedWork W2036957068 @default.
- W2036957068 hasRelatedWork W2147539576 @default.
- W2036957068 hasRelatedWork W2155162307 @default.
- W2036957068 hasRelatedWork W2370841479 @default.
- W2036957068 hasRelatedWork W2911583164 @default.
- W2036957068 hasRelatedWork W2955892663 @default.
- W2036957068 hasRelatedWork W4253563042 @default.
- W2036957068 hasRelatedWork W72598713 @default.
- W2036957068 hasRelatedWork W810385052 @default.
- W2036957068 hasVolume "69" @default.
- W2036957068 isParatext "false" @default.
- W2036957068 isRetracted "false" @default.
- W2036957068 magId "2036957068" @default.
- W2036957068 workType "article" @default.