--- abstract: 'After several decades, formal methods are gaining ground in Industry. However, as pointed out by the results of Woodcock et al’s survey, formal methods still need significant additional effort in several areas, most notably in collecting evidence on the use of formal methods and tools in Industry. This article proposes an approach for building a repository of evidence material. The main benefits of the proposed approach are first to make it possible to integrate information for many Industry pilots that have tested diverse formal methods. The secondary benefit is that the current implementation of the approach has a ‘project on a forge’ and of the repository as a wiki of that project is simple yet efficient in managing access and contribution rights. Nonetheless, the shortcomings of the current implementation are also reviewed. ' accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: - jcd@cetic.be - christophe.ponsard@cetic.be - john.fitzgerald@ncl.ac.uk creators_name: - family: Deprez given: Jean-Christophe honourific: '' lineage: '' - family: Ponsard given: Christophe honourific: '' lineage: '' - family: Fitzgerald given: John S. honourific: '' lineage: '' data_type: ~ date: 2011-06-23 date_type: published datestamp: 2011-08-16 09:03:50 department: ~ dir: disk0/00/00/03/22 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 322 event_dates: 20-24 June 2011 event_location: Limerick (Ireland) event_title: FM2011 / Industry Day event_type: workshop exhibitors_id: [] exhibitors_name: [] fileinfo: /style/images/fileicons/application_pdf.png;/322/1/FM%2DIDAY%2DDeploy%2Devidence.pdf full_text_status: public funders: [] id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: ~ lastmod: 2011-08-16 09:03:50 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: http://sites.lero.ie/fm2011/industryday.html output_media: ~ pagerange: ~ pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: speech producers_id: [] producers_name: [] projects: [] publication: ~ publisher: ~ refereed: FALSE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 24 series: ~ skill_areas: [] source: ~ status_changed: 2011-08-16 09:03:50 subjects: - deploy_industrial_other succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage. type: conference_item userid: 34 volume: ~