July 1982 6th Berkeley Workshop on Distributed Data Management and Networks
December 1982 Protocol Specification,
Testing and Verification
Copyright © Mon Nov 2 21:28:09 2009
by Michael Ley (email@example.com)
- Carl A. Sunshine:
Protocol Specification, Testing and Verification - Guest Editorial.
- Yechiam Yemini, James F. Kurose:
Can Current Protocol Verification Techniques Guarantee Correctness?
- David Rayner:
A System for Testing Protocol Implementations.
- Thomas F. Piatkowski, Lap-Kin Ip, Dayun He:
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems.
- Michel Diaz:
Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.