Industrial Practice in Formal Methods: A Review

  title={Industrial Practice in Formal Methods: A Review},
  author={Juan Bicarregui and John S. Fitzgerald and Peter Gorm Larsen and Jim Woodcock},
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… CONTINUE READING

From This Paper

Topics from this paper.
14 Citations
9 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 14 extracted citations


Publications referenced by this paper.
Showing 1-9 of 9 references

Formal Methods: Practice and Experience

  • J. Woodcock, P. G. Larsen, J. Bicarregui, J. Fitzgerald
  • ACM Computing Surveys
  • 2009
1 Excerpt

Verified Software Repository

  • VSR
  • 2009
1 Excerpt

Formal methods are a surrogate for a more serious software concern

  • R. L. Glass
  • IEEE Computer 29(4)
  • 1996
1 Excerpt

To formalize or not to formalize

  • M. G. Hinchey, J. P. Bowen
  • (Apr
  • 1996
1 Excerpt

Formal methods: A survey

  • S. Austin, G. Parkin
  • Technical report, National Physical Laboratory…
  • 1993
1 Excerpt

Similar Papers

Loading similar papers…