Industrial deployment of system engineering methods providing high dependability and productivity


Industrial Practice in Formal Methods: a Review

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)

PDF - Accepted Version

Official URL:


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.

Item Type:Article
Subjects:Tool developments
Industrial Deployment
ID Code:160
Deposited By:Dr John S Fitzgerald
Deposited On:25 Oct 2009 17:47
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved