Protocol Specification, Testing, and Verification, VI: Proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification |
Contents
On the Architectural Design of the Formal Specification of | 3 |
Specifying Abstract Data Types with LOTOS | 15 |
PAV Protocol Analyzer and Verifier | 29 |
Copyright | |
27 other sections not shown
Common terms and phrases
abstract machine actions activity algebraic algorithm applied archetype architecture B₁ channel chDR communication protocols Computer Concurrent Euclid conformance testing connection construction data link layer data type defined definition described detected DISCARD disconnection EGJUDGE entity environment errors Estelle event example execution Figure finite state machine functions Gateway global observer IEEE IFIP implementation initial input interaction point interface internal Internet Internet Protocol IPDU language LAPB layer LOTOS Lower Tester marking graph method module NETC node NSDU Open Systems Interconnection operator output parameters Petri nets predicate primitives Prolog protocol sequence Protocol Specification queue reachability analysis received regular expressions SABM scenario semantics sender session Session Layer simulation subnetwork subset synchronization technique termination test sequences test suite test system transition transport TTCN Upper Tester validation variables Verification well-formed