title: Industrial Practice in Formal Methods: a Review creator: Bicarregui, J. C. creator: Fitzgerald, J. S. creator: Larsen, P. G. creator: Woodcock, J. C. P. subject: Tool developments subject: Industrial Deployment description: 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. publisher: Springer-Verlag date: 2009-10-19 type: Article type: PeerReviewed format: application/pdf identifier: http://deploy-eprints.ecs.soton.ac.uk/160/2/BicarreguiEtAlIdayAuth.pdf relation: http://www.springer.com/computer/programming/book/978-3-642-05088-6 identifier: 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) relation: http://deploy-eprints.ecs.soton.ac.uk/160/