The industrialization of formal methods

  • John S. FitzgeraldEmail author
  • Stefania Gnesi
  • Dino Mandrioli
Special section on The Industrialization of formal methods: A view from formal methods 2003


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.


Model Check Formal Method Special Section Tool Chain Change Impact Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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

Copyright information

© Springer-Verlag 2005

Authors and Affiliations

  • John S. Fitzgerald
    • 1
    Email author
  • Stefania Gnesi
    • 2
  • Dino Mandrioli
    • 3
  1. 1.Centre for Software Reliability, School of Computing ScienceUniversity of Newcastle upon TyneNewcastleUK
  2. 2.Istituto di Scienza e Tecnologie dell’ Informazione “A. Faedo”, CNRPisaItaly
  3. 3.Dipartimento di Elettronica e InformazionePolitecnico di MilanoMilanoItaly

Personalised recommendations