Toggle Main Menu Toggle Search

Open Access padlockePrints

Industrial Deployment of Formal Methods: Trends and Challenges

Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen


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


The DEPLOY project has provided a rare opportunity to explore and document the potential benefits of and challenges to creating and exploiting usable formal methods. Using the results of an updated review of 98 industrial applications, we identify trends relating to analytic power, robustness, stability and usability of tools, as well as to the quality of evidence on costs and benefits of deployment. A consideration of the DEPLOY applications reinforces these trends, additionally emphasising the importance of selecting formalisms suited to the problem domain and of effectively managing traceable links between requirements and models.

Publication metadata

Author(s): Fitzgerald J, Bicarregui J, Larsen PG, Woodcock J

Editor(s): Romanovsky, A.; Thomas, M.

Publication type: Book Chapter

Publication status: Published

Book Title: Industrial Deployment of System Engineering Methods

Year: 2012

Pages: 123-143

Number of Volumes: 1

Publisher: Springer

Place Published: Berlin


DOI: 10.1007/978-3-642-33170-1_10

Library holdings: Search Newcastle University Library for this item

ISBN: 9783642331695