Protocol Specification, Testing, and Verification

Keyphrases

Publications

1983

Bernd Walter
Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. Protocol Specification, Testing, and Verification (1983)
Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani
A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification (1983)
Richard J. Linn Jr., J. Stephen Nightingale
Some Experience with Testing Tools for OSI Protocol Implementations. Protocol Specification, Testing, and Verification (1983)
S. Aggarwal, Robert P. Kurshan
Modelling Elapsed Time in Protocol Specification. Protocol Specification, Testing, and Verification (1983)
Yechiam Yemini, Nihal Nounou
CUPID: A Protocol Development Environment. Protocol Specification, Testing, and Verification (1983)
F. Mark Restorick
Implementation of a Protocol in an Assembly Language. Protocol Specification, Testing, and Verification (1983)
Luigi Logrippo
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. Protocol Specification, Testing, and Verification (1983)
Omar Rafiq, Jean-Pierre Ansart
VADILOC - A Protocol Validator and Its Applications. Protocol Specification, Testing, and Verification (1983)
Richard J. Linn Jr., W. H. McCoy
Producing Tests for Implementations of OSI Protocols. Protocol Specification, Testing, and Verification (1983)
S. Aggarwal, Robert P. Kurshan, D. Sharma
A Language for the Specification and Analysis of Protocols. Protocol Specification, Testing, and Verification (1983)
Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen
Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. Protocol Specification, Testing, and Verification (1983)
George A. Harvey
The Routing Certification System. Protocol Specification, Testing, and Verification (1983)
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification (1983)
D. Rayner
Towards an Objective Understanding of Conformance. Protocol Specification, Testing, and Verification (1983)
Hasan Ural, Robert L. Probert
User-Guided Test Sequence Generation. Protocol Specification, Testing, and Verification (1983)
Hans Eckert, Rainer Prinoth
A Computation-System Based Method for Automated Proving of Protocols Against Services. Protocol Specification, Testing, and Verification (1983)
Deepinder P. Sidhu
Protocol Verification via Executable Logic Specifications. Protocol Specification, Testing, and Verification (1983)
Jean-Francois Billiard
Methodology and Tools for Qualitative Protocols Validation. Protocol Specification, Testing, and Verification (1983)
Günter Karjoth
A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems. Protocol Specification, Testing, and Verification (1983)
Guy Juanole, B. Algayres
Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. Protocol Specification, Testing, and Verification (1983)
Heiko Krumm, Oswald Drobnik
Specification, Implementation, and Verification of Communication Services on the Basis of CIL. Protocol Specification, Testing, and Verification (1983)
Jean-Michel Ayache, Jean-Pierre Courtiat
LC/1, A Specification and Implementation Language for Protocols. Protocol Specification, Testing, and Verification (1983)
Jean-Pierre Ansart, V. Chari, D. Simon
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). Protocol Specification, Testing, and Verification (1983)
Stanislaw Budkowski, Elie Najm
Structured Finite State Automata - A new approach for modelling distributed communications systems. Protocol Specification, Testing, and Verification (1983)
Gerard J. Holzmann, Rob A. Beukers
The Pandora Protocol Development System. Protocol Specification, Testing, and Verification (1983)
Alan E. Baratz, Adrian Segall
A Reliable Link Initialization Procedure. Protocol Specification, Testing, and Verification (1983)
Harry Rudin
From Formal Protocol Specification Towards Automated Performance Prediction. Protocol Specification, Testing, and Verification (1983)
Jonathan Billington
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. Protocol Specification, Testing, and Verification (1983)
Robert E. Strom, Shaula Yemini
Design, Implementation, and Validation of Secure Communications Systems. Protocol Specification, Testing, and Verification (1983)
Alfred Gießler
Testing and Diagnosis Aids for Higher Level Protocols. Protocol Specification, Testing, and Verification (1983)
Gerard Florin, Stéphane Natkin, A. Woog, J. Attal
Quantitative Validation for Industrial Ethernet Local Networks. Protocol Specification, Testing, and Verification (1983)
Mohamed G. Gouda
An Example for Constructing Communicating Machines by Step-Wise Refinement. Protocol Specification, Testing, and Verification (1983)
G. W. Cowin, R. W. S. Hale, D. Rayner
Protocol Product Testing - Some Comparisons and Lessons. Protocol Specification, Testing, and Verification (1983)
Sergio Palazzo, P. Fogliata, Gesualdo Le Moli
A Layer-Independent Architecture for a Testing System of Protocol Implementations. Protocol Specification, Testing, and Verification (1983)
Rune Gustavsson, Björn Pehrson
The Power of some Formal Models of Distributed Computing. Protocol Specification, Testing, and Verification (1983)
Carl A. Sunshine
Experience with automated Protocol Verification. Protocol Specification, Testing, and Verification (1983)
Robin M. S. Cork
The Testing of Protocols in SNA Products - An Overview. Protocol Specification, Testing, and Verification (1983)
Miguel Menasche, Bernard Berthomieu
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. Protocol Specification, Testing, and Verification (1983)
Robert L. Probert, Hasan Ural
Requirements for a Test Specification Language for Protocol Implementation Testing. Protocol Specification, Testing, and Verification (1983)
Thomas P. Blumer, Deepinder P. Sidhu
Experience with an Automated Protocol Development System. Protocol Specification, Testing, and Verification (1983)
W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso
Design of a Transport Layer Protocol for a Special Purpose LAN. Protocol Specification, Testing, and Verification (1983)
Björn Pehrson
Abstraction by Structural Reduction. Protocol Specification, Testing, and Verification (1983)