Application, Measurement and Dissemination of a Mathematically Formal Methodology

Project Information

MAFMETH

Grant agreement ID: 10619

Project closed

Start date 21 March 1994

End date 20 May 1995

Funded under

• The ESSI accompanying measure within the framework of the Specific Research and Technological Development programme in the field of Information Technologies, 1990-1994

Total cost € 219 700,00

EU contribution € 219 700,00

Coordinated by

Bull Information Systems
United Kingdom

Objective

Apply a complete, mathematically formal methodology to the development of part of a high integrity system.

Measure and evaluate the effectiveness of the methodology in comparison with existing practices.

Publish the results of the project for the benefit of industry and the formal methods community.

Programme(s)

• FP3-ESSI 1 - The ESSI accompanying measure within the framework of the Specific Research and Technological Development programme in the field of Information Technologies, 1990-1994

Topic(s)

• 1 - Accompanying measures for the specific programme of research and technological development in the field of information technologies

Call for proposal

Data not available

Funding Scheme

CSC - Cost-sharing contracts

Coordinator

Bull Information Systems

• EU contribution: No data
• Address: Maxted Road ; HP2 7DZ Hemel Hempstead ; United Kingdom
• Total cost: No data