Protocol design and implementation using formal methods

Share/Save/Bookmark

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
75kB
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/64452
Official URL:http://dx.doi.org/10.1093/comjnl/35.5.478
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 118619