Protocol design and implementation using formal methods


Sinderen, Marten van and Ferreira Pires, Luis and Vissers, Chris A. (1992) Protocol design and implementation using formal methods. The Computer Journal, 35 (5). pp. 478-491. ISSN 0010-4620

open access
[img] PDF
Abstract:This paper reports on a number of formal methods that support correct protocol design and implementation. These methods are placed in the framework of a design methodology for distributed systems that was studied and developed within the ESPRIT II Lotosphere project (2304). The paper focuses on design methods for synthesizing protocols by successive application of correctness-preserving LOTOS transformations. This transformational approach is described in some detail and is illustrated with a protocol design example. The paper concludes with some suggestions for relating design methods to milestones in the protocol design and implementation processes.
Item Type:Article
Copyright:© 1992 Oxford University Press
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 118619