CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Exploitable results
Although industrial adoption of formal methods has progressed steadily over the last twenty years, it has been slower than the state of the technology and its understanding could have permitted. The typical barriers have been a lack of knowledge on the part of potential industrial users of the capabilities of formal methods, of experience to date, and of available tools. Potential users are unwilling to be the first to do so, perceiving a heavy investment and painful learning curve, with competitors gaining an advantage from their early lessons. Tools have tended to remain in prototype status because lack of substantial usage has prevented the investment opportunities for their industrialization. FMEInfRes addressed this problem which gave a boost to the industrial adoption of formal methods. The FMEInfRes project has provided information resources which will help software managers and potential users of formal methods to make informed decisions about whether and which methods to use, where information can be found, experiences to date, etc. Specifically, the FMEInfRes project established the following information resources: a database of existing application; a database of information on tool; files of frequently asked questions; bibliographies on formal methods; a newsletter and other leaflets, reports, articles and paper based information. The first four of these resources have been made freely available via world wide web (WWW) pages and continues to be maintained.
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available