"160","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.","http://deploy-eprints.ecs.soton.ac.uk/160/","Bicarregui, J. C.  and Fitzgerald, J. S.  and Larsen, P. G.  and Woodcock, J. C. P. ","UNSPECIFIED","       <span class=\"person_name\">Bicarregui, J. C. </span> and <span class=\"person_name\">Fitzgerald, J. S. </span> and <span class=\"person_name\">Larsen, P. G. </span> and <span class=\"person_name\">Woodcock, J. C. P. </span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/160/\"><em>Industrial Practice in Formal Methods: a Review.</em></a>       FM 2009: Formal Methods, LNCS 5       .                        (In Press)   ","Juan.Bicarregui@stfc.ac.uk,John.Fitzgerald@ncl.ac.uk,pgl@iha.dk,Jim.Woodcock@cs.york.ac.uk","2009-10-19"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>