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 Address Maxted road HP2 7DZ Hemel hempstead United Kingdom See on map EU contribution € 0,00
