--- abstract: "We examine the the industrial application of formal methods\r\nusing data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools." accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: - Juan.Bicarregui@stfc.ac.uk - John.Fitzgerald@ncl.ac.uk - pgl@iha.dk - Jim.Woodcock@cs.york.ac.uk creators_name: - family: Bicarregui given: 'J. C. ' honourific: '' lineage: '' - family: Fitzgerald given: 'J. S. ' honourific: '' lineage: '' - family: Larsen given: 'P. G. ' honourific: '' lineage: '' - family: Woodcock given: 'J. C. P. ' honourific: '' lineage: '' data_type: ~ date: 2009-10-19 date_type: published datestamp: 2009-10-25 17:47:31 department: ~ dir: disk0/00/00/01/60 divisions: [] edit_lock_since: ~ edit_lock_until: ~ edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 160 event_dates: ~ event_location: ~ event_title: ~ event_type: ~ exhibitors_id: [] exhibitors_name: [] fileinfo: /style/images/fileicons/application_pdf.png;/160/2/BicarreguiEtAlIdayAuth.pdf full_text_status: public funders: [] id_number: 'ISBN: 978-3-642-05088-6' importid: ~ institution: ~ isbn: ~ ispublished: inpress 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: 2010-04-19 15:05:58 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: http://www.springer.com/computer/programming/book/978-3-642-05088-6 output_media: ~ pagerange: ~ pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: ~ producers_id: [] producers_name: [] projects: [] publication: 'FM 2009: Formal Methods' publisher: Springer-Verlag refereed: TRUE referencetext: ~ related_url_type: - pub related_url_url: - http://www.springer.com/computer/programming/book/978-3-642-05088-6 relation_type: [] relation_uri: [] rev_number: 33 series: ~ skill_areas: [] source: ~ status_changed: 2009-10-25 17:47:31 subjects: - deploy_tooldev - deploy_industrial succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: 'Industrial Practice in Formal Methods: a Review' type: article userid: 11 volume: LNCS 5