Industrial Practice in Formal Methods: A Review

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.

• Type: Conference
• Year: 2009
• Where: FM
• Authors: Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock
• Keywords: FM 2009, Formal Methods, Natural Language Processing, Projects Taking Place, Strong Tool Support