ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/53488
Record Status
Checked
Record Id
53488
Title
Industrial Practice in Formal Methods: A Review
Contributors
JC Bicarregui (STFC Rutherford Appleton Lab.)
,
JS Fitzgerald
,
PG Larsen
,
JCP Woodcock
Abstract
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.
Organisation
ESC
,
STFC
Keywords
Funding Information
Related Research Object(s):
48912085
Licence Information:
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Paper In Conference Proceedings
In International Symposium on Formal Methods, Second World Congress (FM 2009), Eindhoven, The Netherlands, 2-6 Nov 2009, (2009): 810-813.
doi:10.1007/978-3-642-05089-3_52
2009
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar