Browse by author
Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen
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 and evidence to support informed selection of methods and tools.
Author(s): Bicarregui JC, Fitzgerald JS, Larsen PG, Woodcock JCP
Editor(s): Cavalcanti, A., Dams, D.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: FM 2009: Formal Methods: Second World Congress
Year of Conference: 2009
Pages: 810-813
Date deposited: 24/09/2010
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Publisher: Springer-Verlag
URL: http://dx.doi.org/10.1007/978-3-642-05089-3_52
DOI: 10.1007/978-3-642-05089-3_52
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783642050886