Abstract. We describe here our efforts to develop the Q.931 proto- col software for the SEXYTM Central Office Switch. Q.931 is a layer 3 messuge-based, ...

In this paper we describe a formal technique for specifying computer communication protocols as well as a method for automatically producing partial ...

10 Jun 2005 · Formal methods are being used increasingly for computer-communication protocols. The use of a formal description promotes conciseness and ...

1 Apr 1991 · Formal methods permit the development of highly reliable and easily maintainable communication protocols. This paper presents our experience ...

Utilization of formal specifications in software development allows the use of certain automated tools during the specification and software development process ...

This paper describes the partial automation of the protocol implementation process based on a formal specification of the protocol to be implemented. An ...

specification of the WS Atomic Transaction protocol. Two of the authors are researchers experienced in using formal methods; the other two are experts on this.

23 Feb 2004 · Abstract. We describe a use of formal methods to specify and check a Web Services protocol. The Web Services Atomic Transaction protocol was ...

tools are helpful in the tedious steps of formal verification of protocol specifications . We have developed powerful tools [SB83, BS86, CSB87, CSB88, SCB89] ...

... Implementation support tools for OSI application layer protocols", to be submitted to Software Practice and Experience. [Bolo 87] T.Bolognesi and E.Brinksma ...