Industrial Practice in Formal Methods: A Review

  1. Lookup NU author(s)
  2. Professor John Fitzgerald
  3. Dr Peter Larsen
Author(s)Bicarregui JC, Fitzgerald JS, Larsen PG, Woodcock JCP
Editor(s)Cavalcanti, A., Dams, D.
Publication type Conference Proceedings (inc. Abstract)
Conference NameFM 2009: Formal Methods: Second World Congress
Conference LocationEindhoven, The Netherlands
Year of Conference2009
Legacy Date2-6 November 2009
Series TitleLecture Notes in Computer Science
Full text is available for this publication:
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.
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item