%A J. C.  Bicarregui
%A J. S.  Fitzgerald
%A P. G.  Larsen
%A J. C. P.  Woodcock
%J FM 2009: Formal Methods
%T Industrial Practice in Formal Methods: a Review
%X 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.
%V LNCS 5
%D 2009
%R ISBN: 978-3-642-05088-6
%I Springer-Verlag
%L deploy160

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>