Formal methods applied to protocols-the Alvey FORMAP project

FORMAP (formal methods applied to protocols) is a project within the Alvey Software Engineering programme, now carried out by British Telecom and GEC. It aims at both main goals of the programme: to develop improved methods and tools covering all roles and aspects of the life cycle to enable the professional software developer to produce improved quality and more cost effective software; to create an improved climate for the use and acceptance of the methods and tools that exist now and that will flow from the programme. Technically, the project aims to develop a theoretically sound approach to protocol engineering by using formal methods