Software & Systems Modeling

, Volume 4, Issue 3, pp 258–276

Investigating a file transfer protocol using CSP and B

  • Neil Evans
  • Helen Treharne
Special section on St.Eve workshop

DOI: 10.1007/s10270-005-0084-3

Cite this article as:
Evans, N. & Treharne, H. Softw Syst Model (2005) 4: 258. doi:10.1007/s10270-005-0084-3

Abstract

In this paper a file transmission protocol specification is developed using the combination of two formal methods: CSP and B. The aim is to demonstrate that it is possible to integrate two well established formal methods whilst maintaining their individual advantages. We discuss how to compositionally verify the specification and ensure that it preserves some abstract properties. We also discuss how the structure of the specification follows a particular style which may be generally applicable when modelling other protocols using this combination .

Keywords

CSPBCombining formalismsCompositional verification

Copyright information

© Springer-Verlag 2005

Authors and Affiliations

  • Neil Evans
    • 1
  • Helen Treharne
    • 2
  1. 1.Department of Computer Science, Royal HollowayUniversity of LondonUK
  2. 2.Department of ComputingUniversity of SurreyUK