Titlebook: Communication Protocol Specification and Verification; Richard Lai,Ajin Jirachiefpattana Book 1998 Springer Science+Business Media New Yor

Laconic

Focus-Words

BAIL

A Method to Address the State Space Explosion ProblemAs mentioned in the previous chapter, the verification technique employed by the NPN verifier to analyze the behaviour of the NPN-based model for Estelle is . (Rauhamaa, 1990; Rudin and West, 1982; Zafiropulo et al., 1980). The main drawback of reachability analysis is the ..

parasite

https://doi.org/10.1007/978-1-4615-5549-0OSI; Standard; Standards; communication; complexity; development; modeling; tables

隨意

978-1-4613-7537-1Springer Science+Business Media New York 1998

nullify

Communication Protocol Specification and Verification978-1-4615-5549-0Series ISSN 0893-3405

無能性

A Vision on Software Architecture,e 80’s. It is a specification language developed for formal description of the OSI architecture and distributed systems in general. In fact, most examples of LOTOS specifications found in the literature today relate to these types of applications.

BRAND

Emg827

Gianantonio Me,Coral Calero,Patricia Lagosigned for protocol verification. Verification is an important step to increase confidence in the final implementation of communication protocols. Simulation techniques, in which only some of the possible behaviours are explored, are not sufficient.

太空

Adel Hassan,Audrey Queudet,Mourad Oussalahas finite state machines or Petri nets, for which tools of verification have already been implemented. The limitations of these techniques are that they have to be based on a variant of Estelle, impose some restrictions on the specifications to be verified and do not handle the dynamic behaviour and exported variables of Estelle specifications.