Toggle Main Menu Toggle Search

Open Access padlockePrints

The industrialization of formal methods

Lookup NU author(s): Professor John Fitzgerald


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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. © Springer-Verlag 2005.

Publication metadata

Author(s): Fitzgerald JS, Gnesi S, Mandrioli D

Publication type: Editorial

Publication status: Published

Journal: International Journal on Software Tools for Technology Transfer

Year: 2006

Volume: 8

Issue: 4-5

Pages: 301-302

ISSN (print): 1433-2779

ISSN (electronic): 1433-2787


DOI: 10.1007/s10009-005-0208-7