Communication Protocol Specification and Verification

Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.

Protocoalele de comunicare sunt reguli prin care comunicarea semnificativa poate fi schimbata intre diferite entitati comunicante. In general, acestea sunt complexe si dificil de proiectat si implementat.