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. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Bicarregui, J. C., Fitzgerald, J. S., Larsen, P. G., & Woodcock, J. C. P. (2009). Industrial practice in formal methods: A review. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5850 LNCS, pp. 810–813). https://doi.org/10.1007/978-3-642-05089-3_52
Mendeley helps you to discover research relevant for your work.