creators_name: Bicarregui, J. C. creators_name: Fitzgerald, J. S. creators_name: Larsen, P. G. creators_name: Woodcock, J. C. P. creators_id: Juan.Bicarregui@stfc.ac.uk creators_id: John.Fitzgerald@ncl.ac.uk creators_id: pgl@iha.dk creators_id: Jim.Woodcock@cs.york.ac.uk type: article datestamp: 2009-10-25 17:47:31 lastmod: 2010-04-19 15:05:58 metadata_visibility: show title: Industrial Practice in Formal Methods: a Review ispublished: inpress subjects: deploy_tooldev subjects: deploy_industrial full_text_status: public abstract: We examine the the industrial application of formal methods using 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. date: 2009-10-19 date_type: published publication: FM 2009: Formal Methods volume: LNCS 5 publisher: Springer-Verlag id_number: ISBN: 978-3-642-05088-6 refereed: TRUE official_url: http://www.springer.com/computer/programming/book/978-3-642-05088-6 related_url_url: http://www.springer.com/computer/programming/book/978-3-642-05088-6 related_url_type: pub citation: Bicarregui, J. C. and Fitzgerald, J. S. and Larsen, P. G. and Woodcock, J. C. P. (2009) Industrial Practice in Formal Methods: a Review. FM 2009: Formal Methods, LNCS 5 . (In Press) document_url: http://deploy-eprints.ecs.soton.ac.uk/160/2/BicarreguiEtAlIdayAuth.pdf