CORDIS - EU research results
CORDIS
Content archived on 2024-04-19

Application, Measurement and Dissemination of a Mathematically Formal Methodology

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.

Call for proposal

Data not available

Coordinator

Bull Information Systems
EU contribution
No data
Address
Maxted Road
HP2 7DZ Hemel Hempstead
United Kingdom

See on map

Total cost
No data