Industrial Practice in Formal Methods: A Review
- Lookup NU author(s)
- Professor John Fitzgerald
- Dr Peter Larsen
|
|
|
|
| Author(s) | | Bicarregui JC, Fitzgerald JS, Larsen PG, Woodcock JCP |
| Editor(s) | | Cavalcanti, A., Dams, D. |
| Publication type | | Conference Proceedings (inc. Abstract) |
| Conference Name | | FM 2009: Formal Methods: Second World Congress |
| Conference Location | | Eindhoven, The Netherlands |
| Year of Conference | | 2009 |
| Date | | 2-6 November 2009 |
| Volume | | 5850 |
| Pages | | 810-813 |
| Series Title | | Lecture Notes in Computer Science |
| ISBN | | 9783642050886 |
| |  |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| 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. |
|
|
|
| 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 |
| Actions | |  |
| Library holdings | | Search Newcastle University Library for this item |
