Skip to main content
SpringerLink
Log in

The industrialization of formal methods

  • Special section on The Industrialization of formal methods: A view from formal methods 2003
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

This special section contains papers based on work presented at the 12th International Symposium on Formal Methods (FM 2003) held at the CNR Research Campus in Pisa on 8–13 September 2003. The papers all focus on tools and techniques for cost-effective application of formal methods on the industrial scale. The papers discuss a range of approaches, including the development of domain-specific and general-purpose techniques, and the construction of suites of cooperating but specialised tools. In spite of the diversity of approach, the papers share some themes, notably the levels of automation that are possible at appropriate levels of abstraction, and the incorporation of formal techniques within existing development paradigms. Although three papers cannot provide a comprehensive view, they do provide a useful “snapshot” of dominant concerns in industrial-strength formal methods today.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Araki, K., Gnesi, S., Mandrioli, D. (eds): FME2003: Formal methods. Lecture Notes in Computer Science, vol. 2805. Springer, Berlin Heidelberg New York (2003)

Download references

Author information

Authors and Affiliations

  1. Centre for Software Reliability, School of Computing Science, University of Newcastle upon Tyne, Newcastle, NE1 7RU, UK

    John S. Fitzgerald

  2. Istituto di Scienza e Tecnologie dell’ Informazione “A. Faedo”, CNR, Via Moruzzi, 1, 56124, Pisa, Italy

    Stefania Gnesi

  3. Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza Leonardo Da Vinci 32, 20133, Milano, Italy

    Dino Mandrioli

Authors
  1. John S. Fitzgerald
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefania Gnesi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dino Mandrioli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John S. Fitzgerald.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fitzgerald, J.S., Gnesi, S. & Mandrioli, D. The industrialization of formal methods. Int J Softw Tools Technol Transfer 8, 301–302 (2006). https://doi.org/10.1007/s10009-005-0208-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-005-0208-7

Keywords

Search

Navigation